|
From: <sv...@va...> - 2014-05-01 08:05:56
|
Author: bart
Date: Thu May 1 08:05:49 2014
New Revision: 13928
Log:
syswrap: XEN_DOMCTL_resumedomain
No input or output parameters
Signed-off-by: Andrew Cooper <and...@ci...>
Signed-off-by: Ian Campbell <ian...@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 Thu May 1 08:05:49 2014
@@ -592,6 +592,7 @@
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 @@
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;
|