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