Searched refs:tempBuffer (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | dispatcher.c | 118 char *tempBuffer = _paramBuffer; local
119 memset(tempBuffer, 0, PROCSERV_SYSCALL_PARAM_SIZE_MAX);
123 int error = ram_dspace_read(tempBuffer, readLen, pcb->paramBuffer, 0);
131 return tempBuffer;
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | dispatcher.c | 118 char *tempBuffer = _paramBuffer; local
119 memset(tempBuffer, 0, PROCSERV_SYSCALL_PARAM_SIZE_MAX);
123 int error = ram_dspace_read(tempBuffer, readLen, pcb->paramBuffer, 0);
131 return tempBuffer;
|
| /seL4-refos-master/projects/refos/impl/apps/terminal/src/ |
| H A D | terminal.c | 100 char tempBuffer[1024]; local
101 snprintf(tempBuffer, 1024, "%s%s", getenv("PWD"), args[1]);
102 proc_new_proc(tempBuffer, "", true, 71, &status);
|
| /seL4-refos-master/apps/terminal/src/ |
| H A D | terminal.c | 100 char tempBuffer[1024]; local
101 snprintf(tempBuffer, 1024, "%s%s", getenv("PWD"), args[1]);
102 proc_new_proc(tempBuffer, "", true, 71, &status);
|
Completed in 82 milliseconds