commit 718b0fbc74fba4c5a9e509e95a840fe1bb9d2f24
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> Thu May 01 08:03:13 2014 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> Thu May 01 08:03:13 2014 +0000
tree cfcd3bb1290b05031ac5299ebfc4a762c6faef51
parent b1055aa804554690e629a76029db39086f7be8ca

syswrap: XEN_DOMCTL_settimeoffset
    
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CC: Ian Campbell <Ian.Campbell@citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13923 a5019735-40e9-0310-863c-91ae7b9d1cf9

coregrind/m_syswrap/syswrap-xen.c

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_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;

include/vki/vki-xen-domctl.h

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 @@
     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;