pub const MSR_P4_SAAT_ESCR1: c_uint = 0x000003af;