|
From: <sv...@va...> - 2014-05-01 08:03:23
|
Author: bart
Date: Thu May 1 08:03:13 2014
New Revision: 13923
Log:
syswrap: XEN_DOMCTL_settimeoffset
Signed-off-by: Andrew Cooper <and...@ci...>
CC: Ian Campbell <Ian...@ci...>
Signed-off-by: Ian Campbell <ian...@ci...>
Modified:
trunk/coregrind/m_syswrap/syswrap-xen.c
trunk/include/vki/vki-xen-domctl.h
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:03:13 2014
@@ -637,6 +637,10 @@
PRE_XEN_DOMCTL_READ(hypercall_init, gmfn);
break;
+ case VKI_XEN_DOMCTL_settimeoffset:
+ PRE_XEN_DOMCTL_READ(settimeoffset, time_offset_seconds);
+ break;
+
case VKI_XEN_DOMCTL_getvcpuinfo:
PRE_XEN_DOMCTL_READ(getvcpuinfo, vcpu);
break;
Modified: trunk/include/vki/vki-xen-domctl.h
==============================================================================
--- trunk/include/vki/vki-xen-domctl.h (original)
+++ trunk/include/vki/vki-xen-domctl.h Thu May 1 08:03:13 2014
@@ -264,6 +264,10 @@
vki_xen_uint64_aligned_t gmfn; /* GMFN to be initialised */
};
+struct vki_xen_domctl_settimeoffset {
+ vki_int32_t time_offset_seconds;
+};
+
struct vki_xen_domctl_cpuid {
vki_uint32_t input[2];
vki_uint32_t eax;
@@ -337,7 +341,7 @@
//struct vki_xen_domctl_ioport_permission ioport_permission;
struct vki_xen_domctl_hypercall_init hypercall_init;
//struct vki_xen_domctl_arch_setup arch_setup;
- //struct vki_xen_domctl_settimeoffset settimeoffset;
+ struct vki_xen_domctl_settimeoffset settimeoffset;
//struct vki_xen_domctl_disable_migrate disable_migrate;
struct vki_xen_domctl_tsc_info tsc_info;
//struct vki_xen_domctl_real_mode_area real_mode_area;
|