[PATCH 07/13] xen: XENMEM_remove_from_physmap hypercall

[Andrew Cooper <andrew.cooper3@citrix.com>]

Xen reads the entire structure and writes nothing.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
---
 coregrind/m_syswrap/syswrap-xen.c |   10 ++++++++++
 include/vki/vki-xen-memory.h      |    5 +++++
 2 files changed, 15 insertions(+)

diff --git a/coregrind/m_syswrap/syswrap-xen.c b/coregrind/m_syswrap/syswrap-xen.c
index 60a5f3d..f99b1ab 100644
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -188,6 +188,15 @@ PRE(memory_op)
        break;
    };
 
+   case VKI_XENMEM_remove_from_physmap: {
+       struct vki_xen_remove_from_physmap *arg =
+           (struct vki_xen_remove_from_physmap *)ARG2;
+       PRE_MEM_READ("XENMEM_remove_from_physmap domid",
+                    (Addr)&arg->domid, sizeof(arg->domid));
+       PRE_MEM_READ("XENMEM_remove_from_physmap gpfn",
+                    (Addr)&arg->gpfn, sizeof(arg->gpfn));
+   }
+
    case VKI_XENMEM_get_sharing_freed_pages:
    case VKI_XENMEM_get_sharing_shared_pages:
       break;
@@ -769,6 +778,7 @@ POST(memory_op)
    case VKI_XENMEM_decrease_reservation:
    case VKI_XENMEM_claim_pages:
    case VKI_XENMEM_maximum_gpfn:
+   case VKI_XENMEM_remove_from_physmap:
       /* No outputs */
       break;
    case VKI_XENMEM_increase_reservation:
diff --git a/include/vki/vki-xen-memory.h b/include/vki/vki-xen-memory.h
index d7e8df5..609e648 100644
--- a/include/vki/vki-xen-memory.h
+++ b/include/vki/vki-xen-memory.h
@@ -61,6 +61,11 @@ struct vki_xen_add_to_physmap {
     vki_xen_pfn_t gpfn;
 };
 
+struct vki_xen_remove_from_physmap {
+    vki_xen_domid_t domid;
+    vki_xen_pfn_t gpfn;
+};
+
 #endif // __VKI_XEN_MEMORY_H
 
 /*--------------------------------------------------------------------*/
-- 
1.7.10.4