Searched refs:KVM_GET_TSC_KHZ (Results 1 – 2 of 2) sorted by relevance
175 tsc_khz = __vcpu_ioctl(vcpu, KVM_GET_TSC_KHZ, NULL); in main()
1522 #define KVM_GET_TSC_KHZ _IO(KVMIO, 0xa3) macro