Searched refs:xen_intr_get_devname (Results 1 – 1 of 1) sorted by relevance
129 static void xen_intr_get_devname(const char *, char *, size_t);146 .pic_intr_get_devname = xen_intr_get_devname,1223 xen_intr_get_devname(const char *intrid, char *buf, size_t len) in xen_intr_get_devname() function1293 __strong_alias(interrupt_get_devname, xen_intr_get_devname);1296 __strong_alias(x86_intr_get_devname, xen_intr_get_devname);