Searched refs:xen_has_percpu_evtchn (Results 1 – 3 of 3) sorted by relevance
75 xen_has_percpu_evtchn(void) in xen_has_percpu_evtchn() function
97 if (!xen_has_percpu_evtchn()) in xendebug_identify()
373 if (!xen_has_percpu_evtchn()) { in xen_intr_handle_upcall() 663 if (!xen_has_percpu_evtchn()) in xen_intr_assign_cpu()