Searched defs:dcb (Results 1 - 24 of 24) sorted by path

/barrelfish-2018-10-04/include/spawndomain/
H A Dspawndomain.h35 struct capref dcb __attribute__ ((aligned(4))); member in struct:spawninfo
/barrelfish-2018-10-04/include/trace/
H A Dtrace.h168 uint64_t dcb; ///< DCB address of the application member in struct:trace_application
/barrelfish-2018-10-04/kernel/arch/arm/
H A Dgdb_arch.c42 void vmkit_vmenter(struct dcb *dcb) { dbg_break(); for(;;); } argument
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Ddispatch.c27 context_switch(struct dcb *dcb) { argument
[all...]
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Ddispatch.c27 context_switch(struct dcb *dcb) { argument
[all...]
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Ddispatch.c26 context_switch(struct dcb *dcb) { argument
[all...]
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Ddispatch.c25 void context_switch(struct dcb *dcb) argument
[all...]
H A Dexec.c267 void maybe_reload_ldt(struct dcb *dcb, bool force_reload) argument
H A Dsvm_vmkit.c105 vm_exec (struct dcb *dcb) argument
184 vmkit_switch_to (struct dcb *dcb) argument
196 vmkit_switch_from(struct dcb *dcb) argument
213 svm_vmkit_vmenter(struct dcb *dcb) argument
[all...]
H A Dsyscall.c671 struct dcb *dcb = to->u.dispatcher.dcb; local
1454 struct dcb *dcb = to->u.endpoint.listener; local
[all...]
H A Dvmkit.c38 vmkit_vmexec (struct dcb *dcb, lvaddr_t entry) argument
69 vmkit_vmenter (struct dcb *dcb) argument
[all...]
H A Dvmx_vmkit.c918 call_monitor(struct dcb *dcb) argument
945 vmx_vmkit_vmenter (struct dcb *dcb) argument
[all...]
/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c120 struct dcb *dcb = cap->u.dispatcher.dcb; local
678 struct dcb *dcb = cte->cap.u.dispatcher.dcb; local
[all...]
H A Ddispatch.c60 void __attribute__ ((noreturn)) dispatch(struct dcb *dcb) argument
[all...]
H A Dschedule_rbed.c87 static inline bool in_queue(struct dcb *dcb) argument
92 static inline unsigned int u_target(struct dcb *dcb) argument
97 u_actual_srt(struct dcb *dcb) argument
106 deadline(struct dcb *dcb) argument
111 queue_insert(struct dcb *dcb) argument
167 queue_remove(struct dcb *dcb) argument
231 do_resource_allocation(struct dcb *dcb) argument
278 set_best_effort_wcet(struct dcb *dcb) argument
410 struct dcb *dcb = todisp; local
426 schedule_now(struct dcb *dcb) argument
435 make_runnable(struct dcb *dcb) argument
503 scheduler_remove(struct dcb *dcb) argument
543 scheduler_yield(struct dcb *dcb) argument
[all...]
H A Dschedule_rr.c43 void make_runnable(struct dcb *dcb) argument
72 scheduler_remove(struct dcb *dcb) argument
108 scheduler_yield(struct dcb *dcb) argument
[all...]
H A Dsys_debug.c114 struct dcb *dcb = dispatcher->cap.u.dispatcher.dcb; local
H A Dsyscall.c54 struct dcb *dcb = to->u.dispatcher.dcb; local
196 struct dcb *dcb = to->u.dispatcher.dcb; local
[all...]
H A Dwakeup.c38 void wakeup_remove(struct dcb *dcb) argument
59 wakeup_set(struct dcb *dcb, systime_t waketime) argument
[all...]
/barrelfish-2018-10-04/kernel/include/
H A Ddispatch.h39 struct dcb { struct
64 static inline const char *get_disp_name(struct dcb *dcb) argument
[all...]
/barrelfish-2018-10-04/tools/schedsim/
H A Dsimulator.c55 struct dcb { struct
116 static void init_dcb(struct dcb *dcb, int id) argument
193 struct dcb *dcb = malloc(sizeof(struct dcb)); local
212 struct dcb *dcb = malloc(sizeof(struct dcb)); local
224 struct dcb *dcb = malloc(sizeof(struct dcb)); local
[all...]
/barrelfish-2018-10-04/usr/arrakismon/
H A Dps.h34 struct capref rootcn_cap, dcb; member in struct:ps_entry
/barrelfish-2018-10-04/usr/fish/
H A Dfish_common.c132 struct capref dcb = get_dispatcher_generic(handle)->dcb_cap; local
/barrelfish-2018-10-04/usr/spawnd/
H A Dps.h42 struct capref dcb; member in struct:ps_entry

Completed in 133 milliseconds