IOAPIC_REDTBL
#define IOAPIC_REDHI(pin) (IOAPIC_REDTBL + ((pin) << 1) + 1)
#define IOAPIC_REDLO(pin) (IOAPIC_REDTBL + ((pin) << 1))
} while (i < IOAPIC_REDTBL + (sc->sc_apic_sz * 2));