Symbol: ioapic_write_eoi
usr/src/uts/i86pc/io/pcplusmp/apic_common.c
1642
ioapic_write_eoi(int ioapic_ix, uint32_t value)
usr/src/uts/i86xpv/io/psm/xpv_psm.c
1541
ioapic_write_eoi(int apic_ix, uint32_t value)