Searched refs:notify_evtchn (Results 1 – 3 of 3) sorted by relevance
29 void notify_evtchn(evtchn_port_t port);
52 notify_evtchn(hvc_data->evtchn); in read_from_ring()79 notify_evtchn(hvc_data->evtchn); in write_to_ring()
114 void notify_evtchn(evtchn_port_t port) in notify_evtchn() function