Searched refs:KVM_GET_TSC_KHZ (Results 1 – 3 of 3) sorted by relevance
190 tsc_khz = __vcpu_ioctl(vcpu, KVM_GET_TSC_KHZ, NULL); in main() 191 TEST_ASSERT(tsc_khz != -1, "vcpu ioctl KVM_GET_TSC_KHZ failed"); in main()
1310 #define KVM_GET_TSC_KHZ _IO(KVMIO, 0xa3) macro
813 "Require KVM_GET_TSC_KHZ to provide udelay() to guest."); in vcpu_arch_set_entry_point() 831 r = __vm_ioctl(vm, KVM_GET_TSC_KHZ, NULL); in vm_arch_vcpu_add() 832 TEST_ASSERT(r > 0, "KVM_GET_TSC_KHZ did not provide a valid TSC frequency."); in vm_arch_vcpu_add()