Lines Matching refs:disp_gen
191 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle);
195 thread_enqueue(wakeup, &disp_gen->runq);
690 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle);
702 disp_gen->core_id = span_domain_state->core_id;
707 (lvaddr_t)&disp_gen->stack[DISPATCHER_STACK_WORDS],
918 struct dispatcher_generic *disp_gen = get_dispatcher_generic(mydisp);
923 thread_remove_from_queue(&disp_gen->runq, thread);
927 thread_enqueue(thread, &disp_gen->runq);
934 disp_gen->current = next;
937 disp_gen->current = NULL;