Symbol: ec_resume
usr/src/uts/i86pc/i86hvm/io/xpv/xpv_support.c
436
extern void ec_resume(void);
usr/src/uts/i86pc/i86hvm/io/xpv/xpv_support.c
511
ec_resume();
usr/src/uts/i86xpv/os/xen_machdep.c
566
ec_resume();
usr/src/uts/i86xpv/sys/evtchn_impl.h
150
extern void ec_resume(void);