ioapic_write
ioapic_write(ioapicindex, APIC_RDT_CMD + 2 * intin, AV_MASK);
ioapic_write(ioapicindex, APIC_RDT_CMD + 2 * i,
ioapic_write(ioapic_ix,
ioapic_write(ioapic_ix, APIC_RDT_CMD + 2 * intin_ix,
ioapic_write(i, APIC_ID_CMD, sp->as_ioapic_ids[i]);
ioapic_write(ioapic_ix, APIC_ID_CMD, id);
ioapic_write(ioapic_ix, APIC_RDT_CMD + 2 * i, AV_MASK);
ioapic_write(ioapic_ix, APIC_RDT_CMD + 2 * intin, AV_MASK);
extern void ioapic_write(int ioapic_ix, uint32_t reg, uint32_t value);
ioapic_write(ioapic_ix, APIC_RDT_CMD + (2 * (ipin)), value)
ioapic_write(ioapic_ix, APIC_RDT_CMD2 + (2 * (ipin)), value)
ioapic_write(ioapic_ix, APIC_RDT_CMD + 2 * i, AV_MASK);
ioapic_write(ioapic_ix, APIC_RDT_CMD + 2 * intin, AV_MASK);