|
From: <sv...@va...> - 2013-12-01 10:55:20
|
Author: bart
Date: Sun Dec 1 10:55:13 2013
New Revision: 13731
Log:
xen: XENMEM_remove_from_physmap hypercall
Xen reads the entire structure and writes nothing.
From: Andrew Cooper <and...@ci...>
Signed-off-by: Andrew Cooper <and...@ci...>
Signed-off-by: Ian Campbell <ian...@ci...>
Modified:
trunk/coregrind/m_syswrap/syswrap-xen.c
trunk/include/vki/vki-xen-memory.h
Modified: trunk/coregrind/m_syswrap/syswrap-xen.c
==============================================================================
--- trunk/coregrind/m_syswrap/syswrap-xen.c (original)
+++ trunk/coregrind/m_syswrap/syswrap-xen.c Sun Dec 1 10:55:13 2013
@@ -188,6 +188,15 @@
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 @@
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:
Modified: trunk/include/vki/vki-xen-memory.h
==============================================================================
--- trunk/include/vki/vki-xen-memory.h (original)
+++ trunk/include/vki/vki-xen-memory.h Sun Dec 1 10:55:13 2013
@@ -61,6 +61,11 @@
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
/*--------------------------------------------------------------------*/
|