|
From: <sv...@va...> - 2013-06-30 07:59:58
|
bart 2013-06-30 08:59:50 +0100 (Sun, 30 Jun 2013)
New Revision: 13438
Log:
[PATCH 4/4] xen: VKI_XENMEM_get_sharing_{freed, shared}_pages hypercall (#321065)
From: Andrew Cooper <and...@ci...>
Modified files:
trunk/coregrind/m_syswrap/syswrap-xen.c
Modified: trunk/coregrind/m_syswrap/syswrap-xen.c (+9 -0)
===================================================================
--- trunk/coregrind/m_syswrap/syswrap-xen.c 2013-06-30 08:59:09 +01:00 (rev 13437)
+++ trunk/coregrind/m_syswrap/syswrap-xen.c 2013-06-30 08:59:50 +01:00 (rev 13438)
@@ -152,6 +152,10 @@
break;
}
+ case VKI_XENMEM_get_sharing_freed_pages:
+ case VKI_XENMEM_get_sharing_shared_pages:
+ break;
+
default:
bad_subop(tid, layout, arrghs, status, flags,
"__HYPERVISOR_memory_op", ARG1);
@@ -672,6 +676,11 @@
sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents);
break;
}
+
+ case VKI_XENMEM_get_sharing_freed_pages:
+ case VKI_XENMEM_get_sharing_shared_pages:
+ /* No outputs */
+ break;
}
}
|