[Xen-devel] [PATCH 7/7] syswrap: XEN_DOMCTL_resumedomain

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

No input or output parameters

Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
---
 coregrind/m_syswrap/syswrap-xen.c |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/coregrind/m_syswrap/syswrap-xen.c 
b/coregrind/m_syswrap/syswrap-xen.c
index be8fe86..ae7ff49 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;
 
-- 
1.7.10.4


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel