APIC_NUM_IOINTS
#define APIC_TIMER_INT (APIC_IO_INTS + APIC_NUM_IOINTS)
int la_ioint_irqs[APIC_NUM_IOINTS + 1];
for (vector = 0; vector < APIC_NUM_IOINTS; vector++) {
for (vector = 0; vector < APIC_NUM_IOINTS; vector++) {
vector <= APIC_IO_INTS + APIC_NUM_IOINTS,
vector <= APIC_IO_INTS + APIC_NUM_IOINTS,
for (i = 0; i < APIC_NUM_IOINTS + 1 && !db_pager_quit; i++) {
for (i = 0; i <= APIC_NUM_IOINTS; i++)
CTASSERT(APIC_IO_INTS + APIC_NUM_IOINTS == APIC_TIMER_INT);