From: Bart Van Assche <bvanassche@acm.org>
Date: Thu, 1 May 2014 08:05:49 +0000 (+0000)
Subject: syswrap: XEN_DOMCTL_resumedomain
X-Git-Tag: svn/VALGRIND_3_10_0~508
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=31ea12630359f31b753f99e36fd2ef37698884e4;p=thirdparty%2Fvalgrind.git

syswrap: XEN_DOMCTL_resumedomain

No input or output parameters

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13928
---

diff --git a/coregrind/m_syswrap/syswrap-xen.c b/coregrind/m_syswrap/syswrap-xen.c
index be8fe86615..ae7ff49f4f 100644
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -592,6 +592,7 @@ PRE(domctl)
    case VKI_XEN_DOMCTL_gettscinfo:
    case VKI_XEN_DOMCTL_getdomaininfo:
    case VKI_XEN_DOMCTL_unpausedomain:
+   case VKI_XEN_DOMCTL_resumedomain:
       /* No input fields. */
       break;
 
@@ -1183,6 +1184,7 @@ POST(domctl){
    case VKI_XEN_DOMCTL_sethvmcontext:
    case VKI_XEN_DOMCTL_set_max_evtchn:
    case VKI_XEN_DOMCTL_cacheflush:
+   case VKI_XEN_DOMCTL_resumedomain:
       /* No output fields */
       break;