Symbol: ec_suspend
usr/src/uts/i86xpv/os/xen_machdep.c
486
ec_suspend();
usr/src/uts/i86xpv/sys/evtchn_impl.h
149
extern void ec_suspend(void);