KVM_GET_TSC_KHZ
case KVM_GET_TSC_KHZ: {
r = __vm_ioctl(vm, KVM_GET_TSC_KHZ, NULL);
tsc_khz = __vcpu_ioctl(vcpu, KVM_GET_TSC_KHZ, NULL);