x86_intr_get_devname
void x86_intr_get_devname(const char *, char *, size_t);
.pic_intr_get_devname = x86_intr_get_devname,
.pic_intr_get_devname = x86_intr_get_devname,
.pic_intr_get_devname = x86_intr_get_devname,
sc->sc_pic.pic_intr_get_devname = x86_intr_get_devname;
.pic_intr_get_devname = x86_intr_get_devname,
__strong_alias(x86_intr_get_devname, xen_intr_get_devname);