xen: syswrap XEN_SCHEDOP_remote_shutdown

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15383

diff --git a/coregrind/m_syswrap/syswrap-xen.c b/coregrind/m_syswrap/syswrap-xen.c
index f9515e086c9c553b34309638f290beca09dd78c8..ffbb7d183c03a044f132948015962d30a91e2805 100644 (file)
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -352,6 +352,10 @@ PRE(sched_op)
    __PRE_XEN_SCHEDOP_READ(_schedop, vki_xen_ ## _schedop ## _t, _field)
 
    switch (ARG1) {
+   case VKI_XEN_SCHEDOP_remote_shutdown:
+      PRE_XEN_SCHEDOP_READ(remote_shutdown, domain_id);
+      PRE_XEN_SCHEDOP_READ(remote_shutdown, reason);
+      break;
 
    default:
       bad_subop(tid, layout, arrghs, status, flags,
@@ -1296,6 +1300,9 @@ static void post_evtchn_op(ThreadId tid, __vki_u32 cmd, void *arg, int compat)
 POST(sched_op)
 {
    switch (ARG1) {
+   case VKI_XEN_SCHEDOP_remote_shutdown:
+      /* No outputs */
+      break;
    }
 }
 

diff --git a/include/vki/vki-xen-schedop.h b/include/vki/vki-xen-schedop.h
index 4266b272746079ea3cfa5bc2390a287b764a3a2c..38a1831d7ab962ceece7d4a2ee44fb326dee2a67 100644 (file)
--- a/include/vki/vki-xen-schedop.h
+++ b/include/vki/vki-xen-schedop.h
@@ -10,6 +10,11 @@
 #define VKI_XEN_SCHEDOP_poll            3
 
 #define VKI_XEN_SCHEDOP_remote_shutdown 4
+struct vki_xen_remote_shutdown {
+    vki_xen_domid_t domain_id;
+    unsigned int reason;
+};
+typedef struct vki_xen_remote_shutdown vki_xen_remote_shutdown_t;
 
 #define VKI_XEN_SCHEDOP_shutdown_code   5