pub const MSR_P4_TBPU_ESCR0: c_uint = 0x000003c2;