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