Searched refs:disp_gen (Results 1 - 9 of 9) sorted by relevance

/barrelfish-2018-10-04/lib/barrelfish/
H A Dthreads.c275 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
281 if (disp_gen->current != NULL) {
282 assert_disabled(disp_gen->runq != NULL);
286 thread_check_stack_bounds(disp_gen->current, enabled_area));
288 struct thread *next = disp_gen->current->next;
290 if (next != disp_gen->current) {
292 arch_registers_state_t *cur_regs = &disp_gen->current->regs;
294 disp_gen->current = next;
300 } else if (disp_gen->runq != NULL) {
301 disp_gen
451 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
562 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
573 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
678 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
690 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
717 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
759 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
784 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
821 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
861 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
878 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
923 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
1021 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
1159 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
1212 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
1414 struct dispatcher_generic *disp_gen = get_dispatcher_generic(dh); local
1455 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
[all...]
H A Ddispatch.c87 struct dispatcher_generic* disp_gen = get_dispatcher_generic(handle); local
93 disp_gen->timeslice++;
95 if(disp_gen->timeslice == 0) {
96 disp_gen->timeslice++;
169 struct dispatcher_generic* disp_gen = get_dispatcher_generic(handle); local
177 disp_gen->timeslice = 1;
180 if (disp_gen->dcb_cap.slot == 0) {
181 disp_gen->dcb_cap.cnode = cnode_task;
182 disp_gen->dcb_cap.slot = TASKCN_SLOT_DISPATCHER;
185 disp_gen
326 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
455 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
[all...]
H A Dthread_sync.c181 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
192 mutex->holder = disp_gen->current;
211 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
218 && mutex->holder != disp_gen->current) {
223 mutex->holder = disp_gen->current;
253 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
262 mutex->holder = disp_gen->current;
H A Ddomain.c191 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
195 thread_enqueue(wakeup, &disp_gen->runq);
690 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
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); local
923 thread_remove_from_queue(&disp_gen->runq, thread);
927 thread_enqueue(thread, &disp_gen->runq);
934 disp_gen->current = next;
937 disp_gen
[all...]
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dexec.c70 struct dispatcher_shared_generic *disp_gen local
73 state->named.x0 = disp_gen->udisp;
H A Dexn.c72 struct dispatcher_shared_generic *disp_gen = local
78 resume_area->named.x0 = disp_gen->udisp;
119 struct dispatcher_shared_generic *disp_gen = local
122 resume_area->named.x0 = disp_gen->udisp;
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Ddispatch.c154 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
186 [stack] "d" ((lvaddr_t)&disp_gen->stack[DISPATCHER_STACK_WORDS]),
276 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
282 assert_disabled(disp_gen->runq != NULL);
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Ddispatch.c138 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
178 [stack] "d" ((lvaddr_t)&disp_gen->stack[DISPATCHER_STACK_WORDS]),
/barrelfish-2018-10-04/lib/spawndomain/
H A Dspawn.c323 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
330 disp_gen->core_id = core_id;
333 disp_gen->eh_frame = si->eh_frame;
334 disp_gen->eh_frame_size = si->eh_frame_size;
335 disp_gen->eh_frame_hdr = si->eh_frame_hdr;
336 disp_gen->eh_frame_hdr_size = si->eh_frame_hdr_size;

Completed in 67 milliseconds