DEBUGCTLMSR_FREEZE_LBRS_ON_PMI
wrmsrq(MSR_IA32_DEBUGCTLMSR, dbg_ctl | DEBUGCTLMSR_FREEZE_LBRS_ON_PMI);
~(DEBUGCTLMSR_FREEZE_LBRS_ON_PMI|DEBUGCTLMSR_LBR));
debugctl &= ~DEBUGCTLMSR_FREEZE_LBRS_ON_PMI;
debugctl |= DEBUGCTLMSR_FREEZE_LBRS_ON_PMI;
wrmsrq(MSR_IA32_DEBUGCTLMSR, dbg_ctl & ~DEBUGCTLMSR_FREEZE_LBRS_ON_PMI);
debugctl &= ~(DEBUGCTLMSR_LBR | DEBUGCTLMSR_FREEZE_LBRS_ON_PMI);
if (data & DEBUGCTLMSR_FREEZE_LBRS_ON_PMI) {
debugctl |= DEBUGCTLMSR_LBR | DEBUGCTLMSR_FREEZE_LBRS_ON_PMI;