Searched refs:rpc_size (Results 1 - 24 of 24) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Dscreen_dspace.h21 int rpc_size , int* rpc_errno);
H A Dstdio_dspace.h23 int rpc_size , int* rpc_errno);
H A Ddspace.c27 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 Dscreen_dspace.c33 int rpc_size , int* rpc_errno)
H A Dstdio_dspace.c31 int rpc_size , int* rpc_errno)
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Dtimer_dspace.h23 int rpc_size , int* rpc_errno);
H A Ddspace.c26 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 Dtimer_dspace.c32 int rpc_size , int* rpc_errno)
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/
H A Dscreen_dspace.h21 int rpc_size , int* rpc_errno);
H A Dstdio_dspace.h23 int rpc_size , int* rpc_errno);
H A Ddspace.c27 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 Dscreen_dspace.c33 int rpc_size , int* rpc_errno)
H A Dstdio_dspace.c31 int rpc_size , int* rpc_errno)
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Dtimer_dspace.h23 int rpc_size , int* rpc_errno);
H A Ddspace.c26 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 Dtimer_dspace.c32 int rpc_size , int* rpc_errno)
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dmem_syscall.c48 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 Ddata_syscall.c32 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 Dproc_syscall.c212 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 Dmem_syscall.c48 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 Ddata_syscall.c32 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 Dproc_syscall.c212 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 Dcpio_dspace.c59 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 Dcpio_dspace.c59 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

Completed in 63 milliseconds