|
[Valgrind-developers] valgrind: r13437: [PATCH 3/4] xen:
VKI_XEN_SYSCTL_sched_id hypercall (#321065)
From: <sv...@va...> - 2013-06-30 07:59:25
|
bart 2013-06-30 08:59:09 +0100 (Sun, 30 Jun 2013)
New Revision: 13437
Log:
[PATCH 3/4] xen: VKI_XEN_SYSCTL_sched_id hypercall (#321065)
From: Andrew Cooper <and...@ci...>
Modified files:
trunk/coregrind/m_syswrap/syswrap-xen.c
trunk/include/vki/vki-xen-sysctl.h
Modified: trunk/coregrind/m_syswrap/syswrap-xen.c (+8 -0)
===================================================================
--- trunk/coregrind/m_syswrap/syswrap-xen.c 2013-06-30 08:58:19 +01:00 (rev 13436)
+++ trunk/coregrind/m_syswrap/syswrap-xen.c 2013-06-30 08:59:09 +01:00 (rev 13437)
@@ -400,6 +400,10 @@
}
break;
+ case VKI_XEN_SYSCTL_sched_id:
+ /* No inputs */
+ break;
+
case VKI_XEN_SYSCTL_cpupool_op:
PRE_XEN_SYSCTL_READ(cpupool_op, op);
@@ -791,6 +795,10 @@
}
break;
+ case VKI_XEN_SYSCTL_sched_id:
+ POST_XEN_SYSCTL_WRITE(sched_id, sched_id);
+ break;
+
case VKI_XEN_SYSCTL_cpupool_op:
if (sysctl->u.cpupool_op.op == VKI_XEN_SYSCTL_CPUPOOL_OP_CREATE ||
sysctl->u.cpupool_op.op == VKI_XEN_SYSCTL_CPUPOOL_OP_INFO)
Modified: trunk/include/vki/vki-xen-sysctl.h (+6 -1)
===================================================================
--- trunk/include/vki/vki-xen-sysctl.h 2013-06-30 08:58:19 +01:00 (rev 13436)
+++ trunk/include/vki/vki-xen-sysctl.h 2013-06-30 08:59:09 +01:00 (rev 13437)
@@ -120,6 +120,11 @@
vki_uint32_t capabilities;
};
+struct vki_xen_sysctl_sched_id {
+ /* OUT variable. */
+ vki_uint32_t sched_id;
+};
+
struct vki_xen_sysctl {
vki_uint32_t cmd;
vki_uint32_t interface_version; /* XEN_SYSCTL_INTERFACE_VERSION */
@@ -130,7 +135,7 @@
struct vki_xen_sysctl_physinfo_0000000a physinfo_0000000a;
struct vki_xen_sysctl_topologyinfo topologyinfo;
struct vki_xen_sysctl_numainfo numainfo;
- //struct vki_xen_sysctl_sched_id sched_id;
+ struct vki_xen_sysctl_sched_id sched_id;
//struct vki_xen_sysctl_perfc_op perfc_op;
struct vki_xen_sysctl_getdomaininfolist_00000008 getdomaininfolist_00000008;
struct vki_xen_sysctl_getdomaininfolist_00000009 getdomaininfolist_00000009;
|