Constant DEBUGCTLMSR_FREEZE_LBRS_ON_PMI

pub const DEBUGCTLMSR_FREEZE_LBRS_ON_PMI: c_uint = 0x00000800;