IOAPIC_REDHI      217 arch/i386/i386/ioapic.c 	u_int32_t redirhi = ioapic_read(sc, IOAPIC_REDHI(pin));
IOAPIC_REDHI      446 arch/i386/i386/ioapic.c 	ioapic_write(sc, IOAPIC_REDHI(pin), redhi);