pub const MSR_P4_ITLB_ESCR1: c_uint = 0x000003b7;