Constant MSR_IA32_MISC_ENABLE_PEBS_UNAVAIL_BIT 

pub const MSR_IA32_MISC_ENABLE_PEBS_UNAVAIL_BIT: u32 = 0xc;