File valgrind.xen-4.7-handle-domctl-soft_reset.patch of Package valgrind

Overview Repositories Revisions Requests Users Attributes Meta

File valgrind.xen-4.7-handle-domctl-soft_reset.patch of Package valgrind (Revision 2318c45228248a5bca559db424a4a057)

Currently displaying revision 2318c45228248a5bca559db424a4a057 , Show latest

From: Olaf Hering <olaf@aepfle.de>
Date: Fri, 16 Nov 2018 17:21:29 +0100
Subject: xen-4.7: handle domctl soft_reset

Add case for XEN_DOMCTL_soft_reset

bz#390553
---
 coregrind/m_syswrap/syswrap-xen.c | 2 ++
 include/vki/vki-xen-domctl.h      | 1 +
 2 files changed, 3 insertions(+)

--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -802,6 +802,7 @@ PRE(domctl)
    case VKI_XEN_DOMCTL_getdomaininfo:
    case VKI_XEN_DOMCTL_unpausedomain:
    case VKI_XEN_DOMCTL_resumedomain:
+   case VKI_XEN_DOMCTL_soft_reset:
       /* No input fields. */
       break;
 
@@ -2005,6 +2006,7 @@ POST(domctl){
    case VKI_XEN_DOMCTL_resumedomain:
    case VKI_XEN_DOMCTL_set_vcpu_msrs:
    case VKI_XEN_DOMCTL_set_access_required:
+   case VKI_XEN_DOMCTL_soft_reset:
       /* No output fields */
       break;
 
--- a/include/vki/vki-xen-domctl.h
+++ b/include/vki/vki-xen-domctl.h
@@ -127,6 +127,7 @@
 #define VKI_XEN_DOMCTL_arm_configure_domain          76
 #define VKI_XEN_DOMCTL_monitor_op                    77 /* new in 4.6 */
 #define VKI_XEN_DOMCTL_psr_cat_op                    78
+#define VKI_XEN_DOMCTL_soft_reset                    79
 #define VKI_XEN_DOMCTL_gdbsx_guestmemio            1000
 #define VKI_XEN_DOMCTL_gdbsx_pausevcpu             1001
 #define VKI_XEN_DOMCTL_gdbsx_unpausevcpu           1002

Places

File valgrind.xen-4.7-handle-domctl-soft_reset.patch of Package valgrind (Revision 2318c45228248a5bca559db424a4a057)

Places