Searched defs:taskpri (Results 1 – 1 of 1) sorted by relevance
74 uint32_t taskpri; in tpr_guest_tpr_get() local167 u32 *taskpri = (u32 *)&xapic->regs[APIC_TASKPRI]; in lapic_tpr_set() local