Constant MSR_PEBS_NUM_ALT 

pub const MSR_PEBS_NUM_ALT: u32 = 0x39c;