intr_assign_cpu
static int intr_assign_cpu(void *arg, int cpu);
(mask_fn)isrc->is_pic->pic_eoi_source, intr_assign_cpu, "irq%d:",