[PATCH 3/6] syswrap: XEN_DOMCTL_cacheflush

[Andrew Cooper <andrew.cooper3@citrix.com>]

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CC: Ian Campbell <Ian.Campbell@citrix.com>
---
 coregrind/m_syswrap/syswrap-xen.c |    6 ++++++
 include/vki/vki-xen-domctl.h      |    7 +++++++
 2 files changed, 13 insertions(+)

diff --git a/coregrind/m_syswrap/syswrap-xen.c b/coregrind/m_syswrap/syswrap-xen.c
index 1940665..a53fbf2 100644
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -767,6 +767,11 @@ PRE(domctl)
       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 @@ POST(domctl){
    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;
 
diff --git a/include/vki/vki-xen-domctl.h b/include/vki/vki-xen-domctl.h
index df97bb3..2f55ce0 100644
--- a/include/vki/vki-xen-domctl.h
+++ b/include/vki/vki-xen-domctl.h
@@ -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 @@ struct vki_xen_domctl_set_max_evtchn {
     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 {
         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];
-- 
1.7.10.4