Symbol: ec_try_ipi
usr/src/uts/i86xpv/os/mach_kdi.c
129
ec_try_ipi(XC_CPUPOKE_PIL, c);
usr/src/uts/i86xpv/sys/evtchn_impl.h
165
extern void ec_try_ipi(int, int);