MSR_IA32_RTIT_CR3_MATCH
wrmsrq(MSR_IA32_RTIT_CR3_MATCH, ctx->cr3_match);
rdmsrq(MSR_IA32_RTIT_CR3_MATCH, ctx->cr3_match);
case MSR_IA32_RTIT_CR3_MATCH:
case MSR_IA32_RTIT_CR3_MATCH:
vmx_set_intercept_for_msr(vcpu, MSR_IA32_RTIT_CR3_MATCH, MSR_TYPE_RW, flag);
MSR_IA32_RTIT_CTL, MSR_IA32_RTIT_STATUS, MSR_IA32_RTIT_CR3_MATCH,
case MSR_IA32_RTIT_CR3_MATCH: