Searched refs:threadID (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/libs/librefos/include/refos-rpc/ |
| H A D | proc_client_helper.h | 154 @return threadID if success, negative if error occured (errno will be set).
161 int threadID = proc_clone_internal((seL4_Word) func, (seL4_Word) childStack, flags, local
164 return threadID;
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
| H A D | proc_client_helper.h | 154 @return threadID if success, negative if error occured (errno will be set).
161 int threadID = proc_clone_internal((seL4_Word) func, (seL4_Word) childStack, flags, local
164 return threadID;
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | process.h | 174 /*! @brief Get the thread TCB of process at the given threadID.
177 @returns TCB at the given threadID of the given process. (No ownership transfer)
190 @param threadID Optional output pointer to store the created threadID in.
195 int proc_clone(struct proc_pcb *p, int *threadID, vaddr_t stackAddr, vaddr_t entryPoint);
|
| H A D | process.c | 550 proc_clone(struct proc_pcb *p, int *threadID, vaddr_t stackAddr, vaddr_t entryPoint) argument
553 if (threadID) {
554 (*threadID) = -1;
613 if (threadID) {
614 (*threadID) = tID;
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | process.h | 174 /*! @brief Get the thread TCB of process at the given threadID.
177 @returns TCB at the given threadID of the given process. (No ownership transfer)
190 @param threadID Optional output pointer to store the created threadID in.
195 int proc_clone(struct proc_pcb *p, int *threadID, vaddr_t stackAddr, vaddr_t entryPoint);
|
| H A D | process.c | 550 proc_clone(struct proc_pcb *p, int *threadID, vaddr_t stackAddr, vaddr_t entryPoint) argument
553 if (threadID) {
554 (*threadID) = -1;
613 if (threadID) {
614 (*threadID) = tID;
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | proc_syscall.c | 299 int threadID = -1; local
300 int error = proc_clone(pcb, &threadID, (vaddr_t) rpc_childStack, (vaddr_t) rpc_entryPoint);
302 return threadID;
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | proc_syscall.c | 299 int threadID = -1; local
300 int error = proc_clone(pcb, &threadID, (vaddr_t) rpc_childStack, (vaddr_t) rpc_entryPoint);
302 return threadID;
|
| /seL4-refos-master/projects/refos/impl/apps/test_user/src/ |
| H A D | test_user.c | 198 int threadID; local
217 threadID = proc_clone(test_threads_func, &test_clone_stack[i][4096], 0, 0);
219 test_assert(threadID == i + 1);
|
| /seL4-refos-master/apps/test_user/src/ |
| H A D | test_user.c | 198 int threadID; local
217 threadID = proc_clone(test_threads_func, &test_clone_stack[i][4096], 0, 0);
219 test_assert(threadID == i + 1);
|
Completed in 42 milliseconds