Symbol: xen_intr_get_devname
sys/arch/xen/xen/evtchn.c
1285
__strong_alias(interrupt_get_devname, xen_intr_get_devname);
sys/arch/xen/xen/evtchn.c
1288
__strong_alias(x86_intr_get_devname, xen_intr_get_devname);
sys/arch/xen/xen/evtchn.c
129
static void xen_intr_get_devname(const char *, char *, size_t);
sys/arch/xen/xen/evtchn.c
146
.pic_intr_get_devname = xen_intr_get_devname,