Symbol: ec_resume
usr/src/uts/i86pc/i86hvm/io/xpv/evtchn.c
384
ec_resume(void)
usr/src/uts/i86xpv/os/evtchn.c
1166
ec_resume(void)