Searched refs:taskpri (Results 1 – 1 of 1) sorted by relevance
74 uint32_t taskpri; in tpr_guest_tpr_get() local77 taskpri = x2apic_read_reg(APIC_TASKPRI); in tpr_guest_tpr_get()79 taskpri = xapic_read_reg(APIC_TASKPRI); in tpr_guest_tpr_get()81 return GET_APIC_PRI(taskpri); in tpr_guest_tpr_get()167 u32 *taskpri = (u32 *)&xapic->regs[APIC_TASKPRI]; in lapic_tpr_set() local169 *taskpri = SET_APIC_PRI(*taskpri, val); in lapic_tpr_set()