IOAPIC_REDLO
uint32_t redirlo = ioapic_read(sc, IOAPIC_REDLO(pin));
ioapic_write(sc, IOAPIC_REDLO(i), redlo);
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);
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);