ioapic_read
intin_max = (ioapic_read(ioapicindex, APIC_VERS_CMD) >> 16)
id = ioapic_read(ioapic_ix, APIC_ID_CMD);
intin_max = (ioapic_read(ioapic_ix, APIC_VERS_CMD) >> 16)
sp->as_ioapic_ids[i] = ioapic_read(i, APIC_ID_CMD);
id = ioapic_read(ioapic_ix, APIC_ID_CMD);
ver = ioapic_read(ioapic_ix, APIC_VERS_CMD);
intin_max = (ioapic_read(ioapic_ix, APIC_VERS_CMD) >> 16)
extern uint32_t ioapic_read(int ioapic_ix, uint32_t reg);
ioapic_read(ioapic_ix, APIC_RDT_CMD + (2 * (ipin)))
ioapic_read(ioapic_ix, APIC_RDT_CMD2 + (2 * (ipin)))
intin_max = (ioapic_read(ioapic_ix, APIC_VERS_CMD) >> 16)