Searched defs:dispatcher (Results 1 - 12 of 12) sorted by last modified time
| /barrelfish-master/kernel/ |
| H A D | sys_debug.c | 40 sys_debug_print_capabilities_check_cnode(struct cte *cte, struct cte **dispatcher) { argument
101 struct cte *dispatcher; local
155 debug_print_cababilities(struct dcb *dispatcher) argument
[all...] |
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 1125 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
1139 struct dcb *dispatcher = cap->u.dispatcher local
[all...] |
| H A D | page_mappings_arch.c | 1022 void paging_dump_tables_around(struct dcb *dispatcher, lvaddr_t vaddr) argument
1118 void paging_dump_tables(struct dcb *dispatcher) argument
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 764 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
775 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
|
| H A D | page_mappings_arch.c | 385 void paging_dump_tables(struct dcb *dispatcher) argument
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 863 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
|
| H A D | paging.c | 812 void paging_dump_tables(struct dcb *dispatcher) argument
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 879 struct dcb *dispatcher = to->u.dispatcher.dcb; local
891 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
|
| H A D | paging.c | 701 void paging_dump_tables(struct dcb *dispatcher) argument
|
| /barrelfish-master/include/barrelfish/ |
| H A D | invocations.h | 408 invoke_dispatcher(struct capref dispatcher, struc argument
430 invoke_dispatcher_properties(struct capref dispatcher, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
[all...] |
| /barrelfish-master/include/arch/x86_64/barrelfish/ |
| H A D | invocations_arch.h | 141 static inline errval_t invoke_dispatcher_vmread(struct capref dispatcher, argument
159 static inline errval_t invoke_dispatcher_vmwrite(struct capref dispatcher, argument
172 static inline errval_t invoke_dispatcher_vmptrld(struct capref dispatcher) argument
182 static inline errval_t invoke_dispatcher_vmclear(struct capref dispatcher) argument
193 invoke_dispatcher_setup_guest(struct capref dispatcher, argument
[all...] |
| /barrelfish-master/include/arch/x86_32/barrelfish/ |
| H A D | invocations_arch.h | 437 invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher, argument
461 invoke_dispatcher_setup_guest(struct capref dispatcher, capaddr_t ep_cap, capaddr_t vnode, capaddr_t vmkit_guest, capaddr_t guest_control_cap) argument
610 invoke_dispatcher_properties(struct capref dispatcher, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
[all...] |
Completed in 149 milliseconds