APIC_LEVEL
APIC_LEVEL(NIPL), IDT_INTR_HIGH);
APIC_LEVEL(ih->ih_level), IDT_INTR_HIGH);
idtvec = idt_vec_alloc(iv, APIC_LEVEL(level), IDT_INTR_HIGH);