[PATCH 2/6] syswrap: XEN_DOMCTL_settimeoffset

[Andrew Cooper <andrew.cooper3@citrix.com>]

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CC: Ian Campbell <Ian.Campbell@citrix.com>
---
 coregrind/m_syswrap/syswrap-xen.c |    4 ++++
 include/vki/vki-xen-domctl.h      |    6 +++++-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/coregrind/m_syswrap/syswrap-xen.c b/coregrind/m_syswrap/syswrap-xen.c
index 9b2c71d..1940665 100644
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -637,6 +637,10 @@ PRE(domctl)
       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;
diff --git a/include/vki/vki-xen-domctl.h b/include/vki/vki-xen-domctl.h
index 2d07f41..df97bb3 100644
--- a/include/vki/vki-xen-domctl.h
+++ b/include/vki/vki-xen-domctl.h
@@ -264,6 +264,10 @@ struct vki_xen_domctl_hypercall_init {
     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 {
         //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;
-- 
1.7.10.4