interrupt_get_assigned
__strong_alias(interrupt_get_assigned, xen_intr_get_assigned);
__weak_alias(interrupt_get_assigned, voidop);
interrupt_get_assigned(ids[intr_idx], assigned);
void interrupt_get_assigned(const char *, kcpuset_t *);