IOAPIC_REDLO
u_int32_t redirlo = ioapic_read(sc, IOAPIC_REDLO(pin));
ioapic_write(sc, IOAPIC_REDLO(pin), IOAPIC_REDLO_MASK);
ioapic_write(sc, IOAPIC_REDLO(pin), redlo);
redlo = ioapic_read_ul(sc, IOAPIC_REDLO(pin));
ioapic_write_ul(sc, IOAPIC_REDLO(pin), redlo);
redlo = ioapic_read_ul(sc, IOAPIC_REDLO(pin));
ioapic_write_ul(sc, IOAPIC_REDLO(pin), redlo);
u_int32_t redirlo = ioapic_read(sc, IOAPIC_REDLO(pin));
ioapic_write(sc, IOAPIC_REDLO(pin), IOAPIC_REDLO_MASK);
ioapic_write(sc, IOAPIC_REDLO(pin), redlo);
redlo = ioapic_read_ul(sc, IOAPIC_REDLO(pin));
ioapic_write_ul(sc, IOAPIC_REDLO(pin), redlo);
redlo = ioapic_read_ul(sc, IOAPIC_REDLO(pin));
ioapic_write_ul(sc, IOAPIC_REDLO(pin), redlo);