MSR_IA32_RTIT_OUTPUT_MASK
wrmsrq(MSR_IA32_RTIT_OUTPUT_MASK, reg);
rdmsrq(MSR_IA32_RTIT_OUTPUT_MASK, pt->output_mask);
wrmsrq(MSR_IA32_RTIT_OUTPUT_MASK, ctx->output_mask);
rdmsrq(MSR_IA32_RTIT_OUTPUT_MASK, ctx->output_mask);
case MSR_IA32_RTIT_OUTPUT_MASK:
case MSR_IA32_RTIT_OUTPUT_MASK:
vmx_set_intercept_for_msr(vcpu, MSR_IA32_RTIT_OUTPUT_MASK, MSR_TYPE_RW, flag);
MSR_IA32_RTIT_OUTPUT_BASE, MSR_IA32_RTIT_OUTPUT_MASK,
case MSR_IA32_RTIT_OUTPUT_MASK: