pub const VMCS_CTRL_TSC_OFFSET: u32 = 0x00002010;