intr_event_bind_ithread
return (intr_event_bind_ithread(ie, cpu));
int intr_event_bind_ithread(struct intr_event *ie, int cpu);