|
From: <sv...@va...> - 2013-12-01 10:53:44
|
Author: bart
Date: Sun Dec 1 10:53:34 2013
New Revision: 13728
Log:
xen: XENMEM_maximum_gpfn hypercall
Xen reads a 16 bit domid from the pointer provided in ARG2, but does not write
anything back.
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
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:53:34 2013
@@ -98,6 +98,11 @@
/* No inputs */
break;
+ case VKI_XENMEM_maximum_gpfn:
+ PRE_MEM_READ("XENMEM_maximum_gpfn domid",
+ (Addr)ARG2, sizeof(vki_xen_domid_t));
+ break;
+
case VKI_XENMEM_set_memory_map: {
struct vki_xen_foreign_memory_map *arg =
(struct vki_xen_foreign_memory_map *)ARG2;
@@ -737,6 +742,7 @@
case VKI_XENMEM_set_memory_map:
case VKI_XENMEM_decrease_reservation:
case VKI_XENMEM_claim_pages:
+ case VKI_XENMEM_maximum_gpfn:
/* No outputs */
break;
case VKI_XENMEM_increase_reservation:
|