the parameter. QEMU does pass 0 nevertheless as parameter.
bugzilla: [Bug 339424] Full support of KVM ioctl
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14569
case VKI_KVM_S390_ENABLE_SIE:
case VKI_KVM_CREATE_IRQCHIP:
case VKI_KVM_S390_INITIAL_RESET:
+ case VKI_KVM_KVMCLOCK_CTRL:
/* vhost without parameter */
case VKI_VHOST_SET_OWNER:
case VKI_KVM_CREATE_IRQCHIP:
case VKI_KVM_RUN:
case VKI_KVM_S390_INITIAL_RESET:
+ case VKI_KVM_KVMCLOCK_CTRL:
break;
#ifdef ENABLE_XEN
#define VKI_KVM_RUN _VKI_IO(KVMIO, 0x80)
#define VKI_KVM_S390_INITIAL_RESET _VKI_IO(KVMIO, 0x97)
#define VKI_KVM_NMI _VKI_IO(KVMIO, 0x9a)
+#define VKI_KVM_KVMCLOCK_CTRL _VKI_IO(KVMIO, 0xad)
//----------------------------------------------------------------------
// From linux-2.6/include/linux/net_stamp.h