Symbol: ec_notify_via_evtchn
usr/src/uts/i86pc/i86hvm/io/xpv/evtchn.c
128
ec_notify_via_evtchn(unsigned int port)
usr/src/uts/i86xpv/os/evtchn.c
1550
ec_notify_via_evtchn(unsigned int port)