xen: Fix XEN_DOMCTL_getvcpuextstate
commit1b6ca5d03029a0f2d59572f59b31e0a0e614e312
authorBart Van Assche <bvanassche@acm.org>
Sun, 28 Jun 2015 16:34:20 +0000 (28 16:34 +0000)
committerBart Van Assche <bvanassche@acm.org>
Sun, 28 Jun 2015 16:34:20 +0000 (28 16:34 +0000)
tree919a1568c4b2168afcd4f899724d2da6dc3108c7
parentb1e2a3e6a1e3ae44dfb58941405e89e6b5352596
xen: Fix XEN_DOMCTL_getvcpuextstate

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

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15367
coregrind/m_syswrap/syswrap-xen.c