if(dispatcher_poll_request) { dispatcher_poll_request = 0; goto again; }
dispatcher_process_idle(void){  struct dispatcher_proc *p;    /* Call idle handlers. */  for(p = dispatcher_procs; p != NULL; p = p->next) {    if(p->idle != NULL) {      dispatcher_current = p->id;      dispatcher_curproc = p;      p->idle();    }  }  }