MSR_IA32_DEBUGCTLMSR
rdmsrq(MSR_IA32_DEBUGCTLMSR, dbg_ctl);
wrmsrq(MSR_IA32_DEBUGCTLMSR, dbg_ctl | DEBUGCTLMSR_FREEZE_LBRS_ON_PMI);
rdmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
msr_set_bit(MSR_IA32_DEBUGCTLMSR,
msr_clear_bit(MSR_IA32_DEBUGCTLMSR,
msr_clear_bit(MSR_IA32_DEBUGCTLMSR, DEBUGCTLMSR_LBR_BIT);
rdmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
wrmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
rdmsrq(MSR_IA32_DEBUGCTLMSR, dbg_ctl);
wrmsrq(MSR_IA32_DEBUGCTLMSR, dbg_ctl & ~DEBUGCTLMSR_FREEZE_LBRS_ON_PMI);
rdmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
wrmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
rdmsrq(MSR_IA32_DEBUGCTLMSR, debugctlmsr);
wrmsrq(MSR_IA32_DEBUGCTLMSR, debugctlmsr);
rdmsrq(MSR_IA32_DEBUGCTLMSR, val);
wrmsrq(MSR_IA32_DEBUGCTLMSR, val);
rdmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
wrmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
rdmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
wrmsrq(MSR_IA32_DEBUGCTLMSR, debugctl);
case MSR_IA32_DEBUGCTLMSR:
case MSR_IA32_DEBUGCTLMSR:
kvm_pr_unimpl_wrmsr(vcpu, MSR_IA32_DEBUGCTLMSR, data);
svm_set_intercept_for_msr(vcpu, MSR_IA32_DEBUGCTLMSR, MSR_TYPE_RW, intercept);
case MSR_IA32_DEBUGCTLMSR:
kvm_pr_unimpl_wrmsr(vcpu, MSR_IA32_DEBUGCTLMSR, data);
case MSR_IA32_DEBUGCTLMSR:
save->dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);