pub const MSR_IS_ESCR1: u32 = 0x3b5;
Expand description

See Section 18.12.1, ESCR MSRs.