From 26c53cda38d24bee414289ccfd3adebf31e823ca Mon Sep 17 00:00:00 2001 From: Bart Van Assche Date: Sun, 28 Jun 2015 16:35:13 +0000 Subject: [PATCH] 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 git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15368 --- coregrind/m_syswrap/syswrap-xen.c | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/coregrind/m_syswrap/syswrap-xen.c b/coregrind/m_syswrap/syswrap-xen.c index d5d4c28d09..f51191d2b2 100644 --- 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: -- 2.47.3