Searched refs:xen_evtchn_handle_events (Results 1 – 2 of 2) sorted by relevance
96 static inline void xen_evtchn_handle_events(unsigned cpu, in xen_evtchn_handle_events() function
1732 xen_evtchn_handle_events(cpu, &ctrl); in xen_evtchn_do_upcall()