Symbol: xen_intr_handle_upcall
sys/dev/xen/xenpci/xenpci.c
58
xen_intr_handle_upcall, NULL, NULL,
sys/x86/xen/xen_arch_intr.c
97
xen_intr_handle_upcall(NULL);
sys/xen/xen_intr.h
42
extern driver_filter_t xen_intr_handle_upcall;