x86::vmx::vmcs::control

Constant TSC_MULTIPLIER_HIGH

Source 
pub const TSC_MULTIPLIER_HIGH: u32 = 0x2033;
Expand description

TSC multiplier (high).