[][src]Constant x86::vmx::vmcs::control::TSC_MULTIPLIER_HIGH

pub const TSC_MULTIPLIER_HIGH: u32 = 0x2033;

TSC multiplier (high).