pub const KVM_GET_TSC_KHZ: u32 = 44707;