ec_setup_pirq
ec_setup_pirq(irq, irqptr->airq_ipl, &cpus);
ec_setup_pirq(irqno, ipl, &cpus);
extern void ec_setup_pirq(int, int, cpuset_t *);