622 extern uint32_t ioapic_read(int ioapic_ix, uint32_t reg);
623 extern void ioapic_write(int ioapic_ix, uint32_t reg, uint32_t value);
624 extern void ioapic_write_eoi(int ioapic_ix, uint32_t value);
627 #define	READ_IOAPIC_RDT_ENTRY_LOW_DWORD(ioapic_ix, ipin) \  argument
628 	ioapic_read(ioapic_ix, APIC_RDT_CMD + (2 * (ipin)))
630 #define	READ_IOAPIC_RDT_ENTRY_HIGH_DWORD(ioapic_ix, ipin) \  argument
631 	ioapic_read(ioapic_ix, APIC_RDT_CMD2 + (2 * (ipin)))
633 #define	WRITE_IOAPIC_RDT_ENTRY_LOW_DWORD(ioapic_ix, ipin, value) \  argument
634 	ioapic_write(ioapic_ix, APIC_RDT_CMD + (2 * (ipin)), value)
636 #define	WRITE_IOAPIC_RDT_ENTRY_HIGH_DWORD(ioapic_ix, ipin, value) \  argument
637 	ioapic_write(ioapic_ix, APIC_RDT_CMD2 + (2 * (ipin)), value)