APIC_IO_INTS
#define APIC_TIMER_INT (APIC_IO_INTS + APIC_NUM_IOINTS)
return (vector + APIC_IO_INTS);
if (((vector + APIC_IO_INTS) & (align - 1)) != 0)
return (first + APIC_IO_INTS);
KASSERT(vector >= APIC_IO_INTS && vector != IDT_SYSCALL &&
vector <= APIC_IO_INTS + APIC_NUM_IOINTS,
KASSERT(lapics[apic_id].la_ioint_irqs[vector - APIC_IO_INTS] ==
lapics[apic_id].la_ioint_irqs[vector - APIC_IO_INTS] = IRQ_FREE;
KASSERT(vector >= APIC_IO_INTS && vector != IDT_SYSCALL &&
vector <= APIC_IO_INTS + APIC_NUM_IOINTS,
irq = lapics[apic_id].la_ioint_irqs[vector - APIC_IO_INTS];
db_printf("vec 0x%2x -> ", i + APIC_IO_INTS);
lapics[apic_id].la_ioint_irqs[IDT_SYSCALL - APIC_IO_INTS] = IRQ_SYSCALL;
lapics[apic_id].la_ioint_irqs[APIC_TIMER_INT - APIC_IO_INTS] =
lapics[apic_id].la_ioint_irqs[IDT_DTRACE_RET - APIC_IO_INTS] =
lapics[apic_id].la_ioint_irqs[IDT_EVTCHN - APIC_IO_INTS] = IRQ_EVTCHN;
CTASSERT(APIC_IO_INTS + APIC_NUM_IOINTS == APIC_TIMER_INT);