hypervisor_notify_via_evtchn
hypervisor_notify_via_evtchn(evtchn);
hypervisor_notify_via_evtchn(sc->sc_evtchn);
hypervisor_notify_via_evtchn(sc->sc_evtchn);
hypervisor_notify_via_evtchn(sc->sc_evtchn);
hypervisor_notify_via_evtchn(pbxi->pbx_evtchn);
hypervisor_notify_via_evtchn(pbxi->pbx_evtchn);
hypervisor_notify_via_evtchn(notify->event_channel_port);
hypervisor_notify_via_evtchn(sc->sc_evtchn);
hypervisor_notify_via_evtchn(sc->sc_evtchn);
hypervisor_notify_via_evtchn(xbdi->xbdi_evtchn);
hypervisor_notify_via_evtchn(xbdi->xbdi_evtchn);
hypervisor_notify_via_evtchn(xen_start_info.console.domU.evtchn);
hypervisor_notify_via_evtchn(xen_start_info.console.domU.evtchn);
hypervisor_notify_via_evtchn(xen_start_info.console.domU.evtchn);
hypervisor_notify_via_evtchn(notify->port);
hypervisor_notify_via_evtchn(xneti->xni_evtchn);
hypervisor_notify_via_evtchn(xneti->xni_evtchn);
hypervisor_notify_via_evtchn(xneti->xni_evtchn);
hypervisor_notify_via_evtchn(xpci_sc->sc_evtchn);
hypervisor_notify_via_evtchn(xen_start_info.store_evtchn);
hypervisor_notify_via_evtchn(xen_start_info.store_evtchn);