[Valgrind-developers] Valgrind: r15367 - /trunk/coregrind/m_syswrap/syswrap-xen.c

[<sv...@va...>]

Author: bart
Date: Sun Jun 28 17:34:20 2015
New Revision: 15367

Log:
xen: Fix XEN_DOMCTL_getvcpuextstate

Xen only writes into the provided buffer if the guest handle was not NULL.

Signed-off-by: Andrew Cooper <and...@ci...>

Modified:
    trunk/coregrind/m_syswrap/syswrap-xen.c

Modified: trunk/coregrind/m_syswrap/syswrap-xen.c
==============================================================================
--- trunk/coregrind/m_syswrap/syswrap-xen.c (original)
+++ trunk/coregrind/m_syswrap/syswrap-xen.c Sun Jun 28 17:34:20 2015
@@ -1483,10 +1483,9 @@
 
 
    case VKI_XEN_DOMCTL_getvcpuextstate:
-      __POST_XEN_DOMCTL_WRITE(getvcpuextstate, vcpuextstate, xfeature_mask);
-      __POST_XEN_DOMCTL_WRITE(getvcpuextstate, vcpuextstate, size);
-      POST_MEM_WRITE((Addr)domctl->u.vcpuextstate.buffer.p,
-                     domctl->u.vcpuextstate.size);
+      if (domctl->u.vcpuextstate.buffer.p)
+         POST_MEM_WRITE((Addr)domctl->u.vcpuextstate.buffer.p,
+                        domctl->u.vcpuextstate.size);
       break;
 
    case VKI_XEN_DOMCTL_shadow_op: