Symbol: ec_send_ipi
usr/src/uts/i86xpv/io/psm/xpv_psm.c
311
ec_send_ipi(ipl, cpun);
usr/src/uts/i86xpv/sys/evtchn_impl.h
164
extern void ec_send_ipi(int, int);