Searched refs:rpc_vaddr (Results 1 - 2 of 2) sorted by relevance
/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, 132 proc_get_mem_window_handler(void *rpc_userptr , uint32_t rpc_vaddr) argument 138 struct w_associated_window *aw = w_associate_find(&pcb->vspace.windows, rpc_vaddr);
|
/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, 132 proc_get_mem_window_handler(void *rpc_userptr , uint32_t rpc_vaddr) argument 138 struct w_associated_window *aw = w_associate_find(&pcb->vspace.windows, rpc_vaddr);
|
Completed in 28 milliseconds