Symbol: xen_intr_get_assigned
sys/arch/xen/xen/evtchn.c
1284
__strong_alias(interrupt_get_assigned, xen_intr_get_assigned);
sys/arch/xen/xen/evtchn.c
1287
__strong_alias(x86_intr_get_assigned, xen_intr_get_assigned);
sys/arch/xen/xen/evtchn.c
130
static void xen_intr_get_assigned(const char *, kcpuset_t *);
sys/arch/xen/xen/evtchn.c
147
.pic_intr_get_assigned = xen_intr_get_assigned,