IOAPIC_REDLO      216 arch/i386/i386/ioapic.c 	u_int32_t redirlo = ioapic_read(sc, IOAPIC_REDLO(pin));
IOAPIC_REDLO      445 arch/i386/i386/ioapic.c 	ioapic_write(sc, IOAPIC_REDLO(pin), IOAPIC_REDLO_MASK);
IOAPIC_REDLO      447 arch/i386/i386/ioapic.c 	ioapic_write(sc, IOAPIC_REDLO(pin), redlo);