MSR_IA32_RTIT_ADDR0_B
.msr_b = MSR_IA32_RTIT_ADDR0_B,
wrmsrq(MSR_IA32_RTIT_ADDR0_B + i * 2, ctx->addr_b[i]);
rdmsrq(MSR_IA32_RTIT_ADDR0_B + i * 2, ctx->addr_b[i]);
vmx_set_intercept_for_msr(vcpu, MSR_IA32_RTIT_ADDR0_B + i * 2, MSR_TYPE_RW, flag);
MSR_IA32_RTIT_ADDR0_A, MSR_IA32_RTIT_ADDR0_B,