Searched refs:clear_event_channel (Results 1 – 1 of 1) sorted by relevance
200 static void clear_event_channel(evtchn_port_t port) in clear_event_channel() function218 clear_event_channel(port); in process_event()