x86::vmx::vmcs::guest
pub const VMX_PREEMPTION_TIMER_VALUE: u32 = 0x482E;
VMX-preemption timer value.