Searched defs:rpc_size (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 151 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 166 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
| H A D | mem_syscall.c | 90 proc_resize_mem_window_handler(void *rpc_userptr , seL4_CPtr rpc_window , uint32_t rpc_size) argument
|
| H A D | proc_syscall.c | 212 proc_set_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dataspace , uint32_t rpc_size) argument
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 109 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 151 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | data_syscall.c | 166 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
| H A D | mem_syscall.c | 90 proc_resize_mem_window_handler(void *rpc_userptr , seL4_CPtr rpc_window , uint32_t rpc_size) argument
|
| H A D | proc_syscall.c | 212 proc_set_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dataspace , uint32_t rpc_size) argument
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | dspace.c | 109 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 273 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 273 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
Completed in 106 milliseconds