ioapic_read
uint32_t redirlo = ioapic_read(sc, IOAPIC_REDLO(pin));
uint32_t redirhi = ioapic_read(sc, IOAPIC_REDHI(pin));
apic_id = (ioapic_read(sc, IOAPIC_ID) & IOAPIC_ID_MASK)
ver_sz = ioapic_read(sc, IOAPIC_VER);
(ioapic_read(sc, IOAPIC_ID) & ~IOAPIC_ID_MASK)
apic_id = (ioapic_read(sc, IOAPIC_ID) & IOAPIC_ID_MASK)
apic_id = (ioapic_read(sc, IOAPIC_ID) & IOAPIC_ID_MASK)
(ioapic_read(sc, IOAPIC_ID) & ~IOAPIC_ID_MASK)
reg = ioapic_read(sc, i);