Thanks to Julien Grall.
---
coregrind/m_syswrap/syswrap-xen.c | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/coregrind/m_syswrap/syswrap-xen.c
b/coregrind/m_syswrap/syswrap-xen.c
index 6226f7e..3557ba1 100644
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -127,6 +127,7 @@ PRE(memory_op)
PRE_MEM_READ(which,
(Addr)memory_reservation->extent_start.p,
sizeof(xen_pfn_t) * memory_reservation->nr_extents);
+ break;
case XENMEM_populate_physmap:
which = "XENMEM_populate_physmap";
PRE_MEM_READ(which,
--
1.7.2.5