Symbol: xen_has_percpu_evtchn
sys/dev/xen/bus/xen_intr.c
373
if (!xen_has_percpu_evtchn()) {
sys/dev/xen/bus/xen_intr.c
661
if (!xen_has_percpu_evtchn())
sys/dev/xen/debug/debug.c
97
if (!xen_has_percpu_evtchn())