Searched defs:dispatcher (Results 1 - 12 of 12) sorted by relevance
| /barrelfish-2018-10-04/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-2018-10-04/kernel/arch/x86_32/ |
| H A D | page_mappings_arch.c | 385 void paging_dump_tables(struct dcb *dispatcher) argument
|
| H A D | syscall.c | 764 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
775 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | page_mappings_arch.c | 525 void paging_dump_tables(struct dcb *dispatcher) argument
|
| H A D | syscall.c | 950 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
964 struct dcb *dispatcher = cap->u.dispatcher local
[all...] |
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | paging.c | 635 void paging_dump_tables(struct dcb *dispatcher) argument
|
| H A D | syscall.c | 856 struct dcb *dispatcher = to->u.dispatcher.dcb; local
868 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | paging.c | 750 void paging_dump_tables(struct dcb *dispatcher) argument
|
| H A D | syscall.c | 824 struct dcb *dispatcher = cap->u.dispatcher.dcb; local
|
| /barrelfish-2018-10-04/include/arch/x86_64/barrelfish/ |
| H A D | invocations_arch.h | 140 static inline errval_t invoke_dispatcher_vmread(struct capref dispatcher, argument
158 static inline errval_t invoke_dispatcher_vmwrite(struct capref dispatcher, argument
171 static inline errval_t invoke_dispatcher_vmptrld(struct capref dispatcher) argument
181 static inline errval_t invoke_dispatcher_vmclear(struct capref dispatcher) argument
192 invoke_dispatcher_setup_guest(struct capref dispatcher, argument
[all...] |
| /barrelfish-2018-10-04/include/barrelfish/ |
| H A D | invocations.h | 279 invoke_dispatcher(struct capref dispatcher, struc argument
301 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-2018-10-04/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 172 milliseconds