Searched refs:dispatcher_read_param (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.h139 char* dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen);
H A Ddispatcher.c101 dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen) function
H A Ddata_syscall.c374 char *initContentBuffer = dispatcher_read_param(pcb, rpc_contentSize);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.h139 char* dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen);
H A Ddispatcher.c101 dispatcher_read_param(struct proc_pcb *pcb, uint32_t readLen) function
H A Ddata_syscall.c374 char *initContentBuffer = dispatcher_read_param(pcb, rpc_contentSize);

Completed in 35 milliseconds