pub const VMCS_GUEST_VMX_TIMER_VALUE: u32 = 0x0000482e;