for(p = procs; p != NULL; p = p->next) {
for(p = dispatcher_procs; p != NULL; p = p->next) {
ek_idle(void){  struct dispatcher_proc *p;  for(p = procs; p != NULL; p = p->next) {    if(p->idle != NULL) {      dispatcher_current = p->id;      p->idle();    }  }}