Searched refs:rpc_dataspace (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | proc_syscall.c | 212 proc_set_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dataspace , uint32_t rpc_size)
220 if (rpc_size == 0 && rpc_dataspace == 0) {
230 if (!dispatcher_badge_dspace(rpc_dataspace)) {
235 dataspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
|
| H A D | mem_syscall.c | 278 proc_notification_buffer_handler(void *rpc_userptr , seL4_CPtr rpc_dataspace) argument
289 if (!dispatcher_badge_dspace(rpc_dataspace)) {
292 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | proc_syscall.c | 212 proc_set_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dataspace , uint32_t rpc_size)
220 if (rpc_size == 0 && rpc_dataspace == 0) {
230 if (!dispatcher_badge_dspace(rpc_dataspace)) {
235 dataspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
|
| H A D | mem_syscall.c | 278 proc_notification_buffer_handler(void *rpc_userptr , seL4_CPtr rpc_dataspace) argument
289 if (!dispatcher_badge_dspace(rpc_dataspace)) {
292 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
|
Completed in 27 milliseconds