pub const KVM_VCPU_TSC_CTRL: u32 = 0;