pub const MSR_TBPU_ESCR0: u32 = 0x3c2;
Expand description

See Section 18.12.1, ESCR MSRs.