pub const MSR_IA32_MISC_ENABLE_PEBS_UNAVAIL_BIT: c_uint = 0x0000000c;