Symbol: ec_bind_ipi_to_irq
usr/src/uts/i86xpv/io/psm/xpv_psm.c
461
return (ec_bind_ipi_to_irq(ipl, 0));
usr/src/uts/i86xpv/os/evtchn.c
761
(void) ec_bind_ipi_to_irq(i, cpu);
usr/src/uts/i86xpv/sys/evtchn_impl.h
158
extern int ec_bind_ipi_to_irq(int, int);