Searched refs:APIC_TASKPRI (Results 1 – 10 of 10) sorted by relevance
77 taskpri = x2apic_read_reg(APIC_TASKPRI); in tpr_guest_tpr_get()79 taskpri = xapic_read_reg(APIC_TASKPRI); in tpr_guest_tpr_get()162 return GET_APIC_PRI(*((u32 *)&xapic->regs[APIC_TASKPRI])); in lapic_tpr_get()167 u32 *taskpri = (u32 *)&xapic->regs[APIC_TASKPRI]; in lapic_tpr_set()
106 data->halter_tpr = xapic_read_reg(APIC_TASKPRI); in halter_guest_code()
70 case APIC_TASKPRI: in hv_apic_read()86 case APIC_TASKPRI: in hv_apic_write()
78 case APIC_TASKPRI: in savic_read()215 case APIC_TASKPRI: in savic_write()
1554 value = apic_read(APIC_TASKPRI); in setup_local_APIC()1557 apic_write(APIC_TASKPRI, value); in setup_local_APIC()2405 apic_pm_state.apic_taskpri = apic_read(APIC_TASKPRI); in lapic_suspend()2489 apic_write(APIC_TASKPRI, apic_pm_state.apic_taskpri); in lapic_resume()
1212 v = apic_read(APIC_TASKPRI); in print_local_APIC()
29 #define APIC_TASKPRI 0x80 macro
128 X2APIC_MSR(APIC_TASKPRI), in avic_set_x2apic_msr_interception()
728 X2APIC_MSR(APIC_TASKPRI), in nested_vmx_prepare_msr_bitmap()3092 u32 vtpr = vapic ? (*(u32 *)(vapic + APIC_TASKPRI)) >> 4 : 0; in nested_vmx_check_controls_late()
4153 vmx_set_intercept_for_msr(vcpu, X2APIC_MSR(APIC_TASKPRI), MSR_TYPE_RW, in vmx_update_msr_bitmap_x2apic()