x86_64::msr_index

Constant MSR_P4_TBPU_ESCR1

Source 
pub const MSR_P4_TBPU_ESCR1: c_uint = 0x000003c3;