ec_notify_via_evtchn
ec_notify_via_evtchn(notify.port);
ec_notify_via_evtchn(xen_info->store_evtchn);
ec_notify_via_evtchn(xen_info->store_evtchn);
ec_notify_via_evtchn(xcp->evtchn);
ec_notify_via_evtchn(xcp->evtchn);
ec_notify_via_evtchn(xcp->evtchn);
ec_notify_via_evtchn(xnbp->xnb_evtchn);
ec_notify_via_evtchn(xnbp->xnb_evtchn);
ec_notify_via_evtchn(xnbp->xnb_evtchn);
ec_notify_via_evtchn(xnfp->xnf_evtchn);
ec_notify_via_evtchn(xnfp->xnf_evtchn);
ec_notify_via_evtchn(xnfp->xnf_evtchn);
ec_notify_via_evtchn(xnfp->xnf_evtchn);
ec_notify_via_evtchn(pdp->xd_evtchn);
extern void ec_notify_via_evtchn(uint_t);
ec_notify_via_evtchn(ipip->mi_evtchns[cpu]);
ec_notify_via_evtchn(ipip->mi_evtchns[cpu]);
extern void ec_notify_via_evtchn(unsigned int);