|
From: <sv...@va...> - 2014-05-01 08:04:30
|
Author: bart
Date: Thu May 1 08:04:18 2014
New Revision: 13924
Log:
syswrap: XEN_DOMCTL_cacheflush
Signed-off-by: Andrew Cooper <and...@ci...>
CC: Ian Campbell <Ian...@ci...>
Signed-off-by: Ian Campbell <ian...@ci...>
Modified:
trunk/coregrind/m_syswrap/syswrap-xen.c
trunk/include/vki/vki-xen-domctl.h
Modified: trunk/coregrind/m_syswrap/syswrap-xen.c
==============================================================================
--- trunk/coregrind/m_syswrap/syswrap-xen.c (original)
+++ trunk/coregrind/m_syswrap/syswrap-xen.c Thu May 1 08:04:18 2014
@@ -767,6 +767,11 @@
PRE_XEN_DOMCTL_READ(set_max_evtchn, max_port);
break;
+ case VKI_XEN_DOMCTL_cacheflush:
+ PRE_XEN_DOMCTL_READ(cacheflush, start_pfn);
+ PRE_XEN_DOMCTL_READ(cacheflush, nr_pfns);
+ break;
+
default:
bad_subop(tid, layout, arrghs, status, flags,
"__HYPERVISOR_domctl", domctl->cmd);
@@ -1158,6 +1163,7 @@
case VKI_XEN_DOMCTL_unpausedomain:
case VKI_XEN_DOMCTL_sethvmcontext:
case VKI_XEN_DOMCTL_set_max_evtchn:
+ case VKI_XEN_DOMCTL_cacheflush:
/* No output fields */
break;
Modified: trunk/include/vki/vki-xen-domctl.h
==============================================================================
--- trunk/include/vki/vki-xen-domctl.h (original)
+++ trunk/include/vki/vki-xen-domctl.h Thu May 1 08:04:18 2014
@@ -85,6 +85,7 @@
#define VKI_XEN_DOMCTL_setnodeaffinity 68
#define VKI_XEN_DOMCTL_getnodeaffinity 69
#define VKI_XEN_DOMCTL_set_max_evtchn 70
+#define VKI_XEN_DOMCTL_cacheflush 71
#define VKI_XEN_DOMCTL_gdbsx_guestmemio 1000
#define VKI_XEN_DOMCTL_gdbsx_pausevcpu 1001
#define VKI_XEN_DOMCTL_gdbsx_unpausevcpu 1002
@@ -313,6 +314,11 @@
vki_uint32_t max_port;
};
+struct vki_xen_domctl_cacheflush {
+ /* IN: page range to flush. */
+ vki_xen_pfn_t start_pfn, nr_pfns;
+};
+
struct vki_xen_domctl {
vki_uint32_t cmd;
vki_uint32_t interface_version; /* XEN_DOMCTL_INTERFACE_VERSION */
@@ -371,6 +377,7 @@
struct vki_xen_domctl_set_max_evtchn set_max_evtchn;
//struct vki_xen_domctl_gdbsx_memio gdbsx_guest_memio;
//struct vki_xen_domctl_set_broken_page_p2m set_broken_page_p2m;
+ struct vki_xen_domctl_cacheflush cacheflush;
//struct vki_xen_domctl_gdbsx_pauseunp_vcpu gdbsx_pauseunp_vcpu;
//struct vki_xen_domctl_gdbsx_domstatus gdbsx_domstatus;
vki_uint8_t pad[128];
|