/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
H A D | screen_dspace.h | 21 int rpc_size , int* rpc_errno);
|
H A D | stdio_dspace.h | 23 int rpc_size , int* rpc_errno);
|
H A D | dspace.c | 27 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , 37 return serial_open_handler(rpc_userptr, rpc_name, rpc_flags, rpc_mode, rpc_size, rpc_errno); 42 return screen_open_handler(rpc_userptr, rpc_name, rpc_flags, rpc_mode, rpc_size, rpc_errno); 151 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
H A D | screen_dspace.c | 33 int rpc_size , int* rpc_errno)
|
H A D | stdio_dspace.c | 31 int rpc_size , int* rpc_errno)
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
H A D | timer_dspace.h | 23 int rpc_size , int* rpc_errno);
|
H A D | dspace.c | 26 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , 36 return timer_open_handler(rpc_userptr, rpc_name, rpc_flags, rpc_mode, rpc_size, rpc_errno); 109 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
H A D | timer_dspace.c | 32 int rpc_size , int* rpc_errno)
|
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
H A D | screen_dspace.h | 21 int rpc_size , int* rpc_errno);
|
H A D | stdio_dspace.h | 23 int rpc_size , int* rpc_errno);
|
H A D | dspace.c | 27 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , 37 return serial_open_handler(rpc_userptr, rpc_name, rpc_flags, rpc_mode, rpc_size, rpc_errno); 42 return screen_open_handler(rpc_userptr, rpc_name, rpc_flags, rpc_mode, rpc_size, rpc_errno); 151 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
H A D | screen_dspace.c | 33 int rpc_size , int* rpc_errno)
|
H A D | stdio_dspace.c | 31 int rpc_size , int* rpc_errno)
|
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
H A D | timer_dspace.h | 23 int rpc_size , int* rpc_errno);
|
H A D | dspace.c | 26 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , 36 return timer_open_handler(rpc_userptr, rpc_name, rpc_flags, rpc_mode, rpc_size, rpc_errno); 109 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|
H A D | timer_dspace.c | 32 int rpc_size , int* rpc_errno)
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | mem_syscall.c | 48 proc_create_mem_window_internal_handler(void *rpc_userptr , uint32_t rpc_vaddr , uint32_t rpc_size , 56 if (rpc_vaddr >= PROCESS_KERNEL_RESERVED || PROCESS_KERNEL_RESERVED < (rpc_size + rpc_vaddr)) { 65 int error = vs_create_window(&pcb->vspace, rpc_vaddr, rpc_size, rpc_permissions, cached, 90 proc_resize_mem_window_handler(void *rpc_userptr , seL4_CPtr rpc_window , uint32_t rpc_size) argument 107 return vs_resize_window(&pcb->vspace, rpc_window - W_BADGE_BASE, rpc_size); 347 uint32_t rpc_paddr , uint32_t rpc_size , int rpc_cached) 377 return vs_map_device(&clientPCB->vspace, window, rpc_windowOffset, rpc_paddr, rpc_size,
|
H A D | data_syscall.c | 32 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , 41 if (rpc_size <= 0) { 55 struct ram_dspace *newDataspace = ram_dspace_create(&procServ.dspaceList, rpc_size); 166 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument 187 return ram_dspace_expand(dspace, rpc_size);
|
H A D | proc_syscall.c | 212 proc_set_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dataspace , uint32_t rpc_size) argument 220 if (rpc_size == 0 && rpc_dataspace == 0) {
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | mem_syscall.c | 48 proc_create_mem_window_internal_handler(void *rpc_userptr , uint32_t rpc_vaddr , uint32_t rpc_size , 56 if (rpc_vaddr >= PROCESS_KERNEL_RESERVED || PROCESS_KERNEL_RESERVED < (rpc_size + rpc_vaddr)) { 65 int error = vs_create_window(&pcb->vspace, rpc_vaddr, rpc_size, rpc_permissions, cached, 90 proc_resize_mem_window_handler(void *rpc_userptr , seL4_CPtr rpc_window , uint32_t rpc_size) argument 107 return vs_resize_window(&pcb->vspace, rpc_window - W_BADGE_BASE, rpc_size); 347 uint32_t rpc_paddr , uint32_t rpc_size , int rpc_cached) 377 return vs_map_device(&clientPCB->vspace, window, rpc_windowOffset, rpc_paddr, rpc_size,
|
H A D | data_syscall.c | 32 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , 41 if (rpc_size <= 0) { 55 struct ram_dspace *newDataspace = ram_dspace_create(&procServ.dspaceList, rpc_size); 166 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument 187 return ram_dspace_expand(dspace, rpc_size);
|
H A D | proc_syscall.c | 212 proc_set_parambuffer_handler(void *rpc_userptr , seL4_CPtr rpc_dataspace , uint32_t rpc_size) argument 220 if (rpc_size == 0 && rpc_dataspace == 0) {
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.c | 59 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , 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 | 59 data_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , int rpc_size , 273 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_size) argument
|