for(p = procs; p != NULL; p = p->next) {
for(p = dispatcher_procs; p != NULL; p = p->next) {
dispatcher_process(ek_id_t id){  struct dispatcher_proc *p;  for(p = procs; p != NULL; p = p->next) {    if(p->id == id) {      return p;    }  }  return NULL;}