ioapic_read_ul
val = ioapic_read_ul(sc, regid);
redlo = ioapic_read_ul(sc, IOAPIC_REDLO(pin));
redlo = ioapic_read_ul(sc, IOAPIC_REDLO(pin));
val = ioapic_read_ul(sc, regid);
redlo = ioapic_read_ul(sc, IOAPIC_REDLO(pin));
redlo = ioapic_read_ul(sc, IOAPIC_REDLO(pin));