Searched refs:xen_evtchn_handle_events (Results 1 – 2 of 2) sorted by relevance
137 static inline void xen_evtchn_handle_events(unsigned cpu) in xen_evtchn_handle_events() function
1229 xen_evtchn_handle_events(cpu); in __xen_evtchn_do_upcall()
