xen: syswrap XEN_DOMCTL_setvcpuextstate

XEN_DOMCTL_setvcpuextstate reads a vcpu, size and buffer pointer, and reads
size bytes from the buffer.  It has no outputs.

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

diff --git a/coregrind/m_syswrap/syswrap-xen.c b/coregrind/m_syswrap/syswrap-xen.c
index d5d4c28d0929abdf99e7ebf9f170ee1b44470938..f51191d2b2a76acb09bc186f6de0381381195a6c 100644 (file)
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -803,6 +803,15 @@ PRE(domctl)
                     domctl->u.getpageframeinfo3.num * sizeof(vki_xen_pfn_t));
        break;
 
+   case VKI_XEN_DOMCTL_setvcpuextstate:
+      __PRE_XEN_DOMCTL_READ(setvcpuextstate, vcpuextstate, vcpu);
+      __PRE_XEN_DOMCTL_READ(setvcpuextstate, vcpuextstate, size);
+      __PRE_XEN_DOMCTL_READ(setvcpuextstate, vcpuextstate, buffer);
+      PRE_MEM_READ("XEN_DOMCTL_setvcpuextstate *u.vcpuextstate.buffer.p",
+                   (Addr)domctl->u.vcpuextstate.buffer.p,
+                   domctl->u.vcpuextstate.size);
+      break;
+
    case VKI_XEN_DOMCTL_getvcpuextstate:
       __PRE_XEN_DOMCTL_READ(getvcpuextstate, vcpuextstate, vcpu);
       __PRE_XEN_DOMCTL_READ(getvcpuextstate, vcpuextstate, xfeature_mask);
@@ -1309,6 +1318,7 @@ POST(domctl){
    case VKI_XEN_DOMCTL_destroydomain:
    case VKI_XEN_DOMCTL_pausedomain:
    case VKI_XEN_DOMCTL_max_mem:
+   case VKI_XEN_DOMCTL_setvcpuextstate:
    case VKI_XEN_DOMCTL_set_address_size:
    case VKI_XEN_DOMCTL_settscinfo:
    case VKI_XEN_DOMCTL_ioport_permission: