| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.h | 32 int check_dispatch_fault(struct procserv_msg *m, void **userptr);
35 int dispatch_vm_fault(struct procserv_msg *m, void **userptr);
|
| H A D | name_syscall.h | 31 int check_dispatch_nameserv(struct procserv_msg *m, void **userptr);
|
| H A D | proc_syscall.h | 26 int check_dispatch_syscall(struct procserv_msg *m, void **userptr);
|
| H A D | data_syscall.h | 31 int check_dispatch_dataspace(struct procserv_msg *m, void **userptr);
|
| H A D | mem_syscall.c | 93 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
115 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
159 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
203 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
245 struct procserv_msg *m = (struct procserv_msg*) pc
[all...] |
| H A D | name_syscall.c | 30 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
105 check_dispatch_nameserv(struct procserv_msg *m, void **userptr)
|
| H A D | data_syscall.c | 84 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
143 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
169 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
196 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
238 struct procserv_msg *m = (struct procserv_msg*) pc
[all...] |
| H A D | proc_syscall.c | 81 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
133 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
180 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
215 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
329 check_dispatch_syscall(struct procserv_msg *m, void **userptr) {
|
| H A D | dispatcher.h | 111 int check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax);
120 bool check_dispatch_caps(struct procserv_msg *m, seL4_Word unwrappedMask, int numExtraCaps);
|
| H A D | fault_handler.c | 129 handle_vm_fault_dspace(struct procserv_msg *m, struct procserv_vmfault_msg *f,
223 handle_vm_fault_pager(struct procserv_msg *m, struct procserv_vmfault_msg *f,
270 handle_vm_fault(struct procserv_msg *m, struct procserv_vmfault_msg *f)
343 check_dispatch_fault(struct procserv_msg *m, void **userptr) {
354 dispatch_vm_fault(struct procserv_msg *m, void **userptr) {
|
| H A D | dispatcher.c | 28 check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax)
57 check_dispatch_caps(struct procserv_msg *m, seL4_Word unwrappedMask, int numExtraCaps)
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.h | 32 int check_dispatch_fault(struct procserv_msg *m, void **userptr);
35 int dispatch_vm_fault(struct procserv_msg *m, void **userptr);
|
| H A D | name_syscall.h | 31 int check_dispatch_nameserv(struct procserv_msg *m, void **userptr);
|
| H A D | proc_syscall.h | 26 int check_dispatch_syscall(struct procserv_msg *m, void **userptr);
|
| H A D | data_syscall.h | 31 int check_dispatch_dataspace(struct procserv_msg *m, void **userptr);
|
| H A D | mem_syscall.c | 93 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
115 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
159 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
203 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
245 struct procserv_msg *m = (struct procserv_msg*) pc
[all...] |
| H A D | name_syscall.c | 30 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
105 check_dispatch_nameserv(struct procserv_msg *m, void **userptr)
|
| H A D | data_syscall.c | 84 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
143 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
169 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
196 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
238 struct procserv_msg *m = (struct procserv_msg*) pc
[all...] |
| H A D | proc_syscall.c | 81 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
133 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
180 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
215 struct procserv_msg *m = (struct procserv_msg*) pcb->rpcClient.userptr;
329 check_dispatch_syscall(struct procserv_msg *m, void **userptr) {
|
| H A D | dispatcher.h | 111 int check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax);
120 bool check_dispatch_caps(struct procserv_msg *m, seL4_Word unwrappedMask, int numExtraCaps);
|
| H A D | fault_handler.c | 129 handle_vm_fault_dspace(struct procserv_msg *m, struct procserv_vmfault_msg *f,
223 handle_vm_fault_pager(struct procserv_msg *m, struct procserv_vmfault_msg *f,
270 handle_vm_fault(struct procserv_msg *m, struct procserv_vmfault_msg *f)
343 check_dispatch_fault(struct procserv_msg *m, void **userptr) {
354 dispatch_vm_fault(struct procserv_msg *m, void **userptr) {
|
| H A D | dispatcher.c | 28 check_dispatch_interface(struct procserv_msg *m, void **userptr, int labelMin, int labelMax)
57 check_dispatch_caps(struct procserv_msg *m, seL4_Word unwrappedMask, int numExtraCaps)
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | main.c | 69 proc_server_handle_message(struct procserv_state *s, struct procserv_msg *msg)
126 struct procserv_msg msg = { .state = s };
|
| H A D | state.h | 82 struct procserv_msg { struct
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | main.c | 69 proc_server_handle_message(struct procserv_state *s, struct procserv_msg *msg)
126 struct procserv_msg msg = { .state = s };
|