apix_intx_rebind
if (apix_intx_rebind(vecp->v_inum, newcpu, newvec) != 0) {
extern int apix_intx_rebind(int irqno, processorid_t cpuid, uchar_t vector);