Searched refs:KVM_GET_TSC_KHZ (Results 1 – 3 of 3) sorted by relevance
158 tsc_khz = __vcpu_ioctl(vcpu, KVM_GET_TSC_KHZ, NULL); in main()
1233 #define KVM_GET_TSC_KHZ _IO(KVMIO, 0xa3) macro
648 r = __vm_ioctl(vm, KVM_GET_TSC_KHZ, NULL); in kvm_arch_vm_post_create()
Completed in 13 milliseconds