|
From: <sv...@va...> - 2013-12-01 10:53:11
|
Author: bart
Date: Sun Dec 1 10:53:05 2013
New Revision: 13727
Log:
xen: XENMEM_maximum_ram_page hypercall
Xen does not read or write any memory for this hypercall
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:05 2013
@@ -93,6 +93,11 @@
PRINT("__HYPERVISOR_memory_op ( %ld, %lx )", ARG1, ARG2);
switch (ARG1) {
+
+ case VKI_XENMEM_maximum_ram_page:
+ /* No inputs */
+ break;
+
case VKI_XENMEM_set_memory_map: {
struct vki_xen_foreign_memory_map *arg =
(struct vki_xen_foreign_memory_map *)ARG2;
@@ -728,6 +733,7 @@
POST(memory_op)
{
switch (ARG1) {
+ case VKI_XENMEM_maximum_ram_page:
case VKI_XENMEM_set_memory_map:
case VKI_XENMEM_decrease_reservation:
case VKI_XENMEM_claim_pages:
|