APIC_TPR_INT
const u_int prio_bit = VPR_PRIO_BIT(vector & APIC_TPR_INT);
rvi = vmexit->u.hlt.intr_status & APIC_TPR_INT;
ppr = lapic->ppr & APIC_TPR_INT;
vpr = (i * 64 + flsl(pirval) - 1) & APIC_TPR_INT;