Constant x86_64::msr_index::DEBUGCTLMSR_FREEZE_LBRS_ON_PMI

pub const DEBUGCTLMSR_FREEZE_LBRS_ON_PMI: c_uint = 0x00000800;