x86_intr_get_assigned
void x86_intr_get_assigned(const char *, kcpuset_t *);
.pic_intr_get_assigned = x86_intr_get_assigned,
.pic_intr_get_assigned = x86_intr_get_assigned,
.pic_intr_get_assigned = x86_intr_get_assigned,
sc->sc_pic.pic_intr_get_assigned = x86_intr_get_assigned;
.pic_intr_get_assigned = x86_intr_get_assigned,
__strong_alias(x86_intr_get_assigned, xen_intr_get_assigned);