Symbol: xen_intr_get_count
sys/arch/xen/xen/evtchn.c
1283
__strong_alias(interrupt_get_count, xen_intr_get_count);
sys/arch/xen/xen/evtchn.c
1286
__strong_alias(x86_intr_get_count, xen_intr_get_count);
sys/arch/xen/xen/evtchn.c
131
static uint64_t xen_intr_get_count(const char *, u_int);
sys/arch/xen/xen/evtchn.c
148
.pic_intr_get_count = xen_intr_get_count,