Searched refs:notify_remote_via_evtchn (Results 1 – 4 of 4) sorted by relevance
32 static inline int notify_remote_via_evtchn(evtchn_port_t port) in notify_remote_via_evtchn() function
99 notify_remote_via_evtchn(priv->evtchn); in xen_serial_getc()124 notify_remote_via_evtchn(priv->evtchn); in __write_console()
112 notify_remote_via_evtchn(xenbus_evtchn); in xenbus_get_reply()255 notify_remote_via_evtchn(xenbus_evtchn); in xb_write()
523 notify_remote_via_evtchn(dev->evtchn); in blkfront_aio()564 notify_remote_via_evtchn(dev->evtchn); in blkfront_push_operation()
Completed in 7 milliseconds