pub const MSR_IS_ESCR0: u32 = 0x3b4;
Expand description

See Section 18.12.1, ESCR MSRs.