Symbol: ec_bind_cpu_ipis
usr/src/uts/i86xpv/io/psm/xpv_psm.c
445
ec_bind_cpu_ipis(id);
usr/src/uts/i86xpv/sys/evtchn_impl.h
159
extern void ec_bind_cpu_ipis(int);