Searched defs:thread_config (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dthread.c19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, function
/seL4-refos-master/apps/process_server/src/system/process/
H A Dthread.c19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, function
/seL4-refos-master/libs/libsel4utils/src/
H A Dprocess.c605 sel4utils_thread_config_t thread_config = {0}; local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c605 sel4utils_thread_config_t thread_config = {0}; local
[all...]

Completed in 29 milliseconds