pub const MSR_P4_BPU_ESCR0: c_uint = 0x000003b2;