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

/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dexec.c70 struct dispatcher_shared_generic *disp_gen local
H A Dexn.c72 struct dispatcher_shared_generic *disp_gen = local
119 struct dispatcher_shared_generic *disp_gen = local
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Ddispatch.c138 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Ddispatch.c154 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
276 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
/barrelfish-2018-10-04/lib/barrelfish/
H A Dthread_sync.c181 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
211 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
253 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
H A Ddispatch.c87 struct dispatcher_generic* disp_gen = get_dispatcher_generic(handle); local
169 struct dispatcher_generic* disp_gen = get_dispatcher_generic(handle); local
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 Ddomain.c191 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
690 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
918 struct dispatcher_generic *disp_gen = get_dispatcher_generic(mydisp); local
[all...]
H A Dthreads.c275 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local
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...]
/barrelfish-2018-10-04/lib/spawndomain/
H A Dspawn.c323 struct dispatcher_generic *disp_gen = get_dispatcher_generic(handle); local

Completed in 143 milliseconds