Searched refs:dspaceList (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 55 struct ram_dspace *newDataspace = ram_dspace_create(&procServ.dspaceList, rpc_size);
69 ram_dspace_unref(&procServ.dspaceList, newDataspace->ID);
97 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
116 ram_dspace_unref(&procServ.dspaceList, dspace->ID);
156 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
181 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
217 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
307 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
368 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
|
| H A D | proc_syscall.c | 235 dataspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
|
| H A D | mem_syscall.c | 292 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 55 struct ram_dspace *newDataspace = ram_dspace_create(&procServ.dspaceList, rpc_size);
69 ram_dspace_unref(&procServ.dspaceList, newDataspace->ID);
97 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
116 ram_dspace_unref(&procServ.dspaceList, dspace->ID);
156 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
181 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
217 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
307 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
368 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
|
| H A D | proc_syscall.c | 235 dataspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
|
| H A D | mem_syscall.c | 292 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.h | 71 struct ram_dspace_list dspaceList; member in struct:procserv_state
|
| H A D | state.c | 106 ram_dspace_init(&s->dspaceList);
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.h | 71 struct ram_dspace_list dspaceList; member in struct:procserv_state
|
| H A D | state.c | 106 ram_dspace_init(&s->dspaceList);
|
Completed in 120 milliseconds