interrupt_get_devname
__strong_alias(interrupt_get_devname, xen_intr_get_devname);
__weak_alias(interrupt_get_devname, voidop);
interrupt_get_devname(ids[intr_idx], devname, sizeof(devname));
void interrupt_get_devname(const char *, char *, size_t);