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 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,
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 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,
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