Searched refs:MSR_IA32_RTIT_ADDR0_B (Results 1 – 4 of 4) sorted by relevance
400 #define MSR_IA32_RTIT_ADDR0_B 0x00000581 macro
1236 wrmsrq(MSR_IA32_RTIT_ADDR0_B + i * 2, ctx->addr_b[i]); in pt_load_msr()1250 rdmsrq(MSR_IA32_RTIT_ADDR0_B + i * 2, ctx->addr_b[i]); in pt_save_msr()4177 vmx_set_intercept_for_msr(vcpu, MSR_IA32_RTIT_ADDR0_B + i * 2, MSR_TYPE_RW, flag); in pt_update_intercept_for_msr()
345 MSR_IA32_RTIT_ADDR0_A, MSR_IA32_RTIT_ADDR0_B,