APIC_TPRI_MASK
value &= ~APIC_TPRI_MASK;
pr_debug("... APIC TASKPRI: %08x (%02x)\n", v, v & APIC_TPRI_MASK);