Searched refs:rpc_memoryWindow (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 192 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow, argument
204 if (!dispatcher_badge_window(rpc_memoryWindow)) {
207 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
235 data_dataunmap_handler(void *rpc_userptr , seL4_CPtr rpc_memoryWindow) argument
246 if (!dispatcher_badge_window(rpc_memoryWindow)) {
249 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 192 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow, argument
204 if (!dispatcher_badge_window(rpc_memoryWindow)) {
207 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
235 data_dataunmap_handler(void *rpc_userptr , seL4_CPtr rpc_memoryWindow) argument
246 if (!dispatcher_badge_window(rpc_memoryWindow)) {
249 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 194 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow ,
202 data_dataunmap_handler(void *rpc_userptr , seL4_CPtr rpc_memoryWindow) argument
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 134 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow ,
142 data_dataunmap_handler(void *rpc_userptr , seL4_CPtr rpc_memoryWindow) argument
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 194 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow ,
202 data_dataunmap_handler(void *rpc_userptr , seL4_CPtr rpc_memoryWindow) argument
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 134 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow ,
142 data_dataunmap_handler(void *rpc_userptr , seL4_CPtr rpc_memoryWindow) argument
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 279 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow ,
301 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow);
331 data_dataunmap_handler(void *rpc_userptr , seL4_CPtr rpc_memoryWindow) argument
343 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow);
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 279 data_datamap_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , seL4_CPtr rpc_memoryWindow ,
301 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow);
331 data_dataunmap_handler(void *rpc_userptr , seL4_CPtr rpc_memoryWindow) argument
343 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow);
|
Completed in 43 milliseconds