x86::vmx::vmcs::control

Constant TSC_OFFSET_HIGH

Source 
pub const TSC_OFFSET_HIGH: u32 = 0x2011;
Expand description

TSC offset (high).