GET_APIC_PRI
return GET_APIC_PRI(*((u32 *)&xapic->regs[APIC_TASKPRI]));
return GET_APIC_PRI(taskpri);
return GET_APIC_PRI(procpri);