Symbol: ec_wait_on_ipi
usr/src/uts/i86xpv/os/mach_kdi.c
146
ec_wait_on_ipi(XC_CPUPOKE_PIL, check_slave, NULL);
usr/src/uts/i86xpv/sys/evtchn_impl.h
152
extern void ec_wait_on_ipi(int, int (*)(void *), void *);