VPR_PRIO_BIT
const u_int prio_bit = VPR_PRIO_BIT(vector & APIC_TPR_INT);
const u_int prio_bit = VPR_PRIO_BIT(vpr);