Searched refs:sel4utils_start_thread (Results 1 - 7 of 7) sorted by relevance
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | thread.h | 133 int sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point,
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | thread.h | 133 int sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point,
|
| /seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | parentapi.c | 126 error = sel4utils_start_thread(&get_serial_server()->server_thread,
130 ZF_LOGE(SERSERVP"spawn_thread: sel4utils_start_thread failed with "
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | thread.c | 163 int sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point, function
316 return sel4utils_start_thread(res, (sel4utils_thread_entry_fn)fault_handler, name,
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 163 int sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point, function
316 return sel4utils_start_thread(res, (sel4utils_thread_entry_fn)fault_handler, name,
|
| /seL4-refos-master/libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 239 error = sel4utils_start_thread(&new_thread->thread, (void *)_irq_thread_entry,
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 239 error = sel4utils_start_thread(&new_thread->thread, (void *)_irq_thread_entry,
|
Completed in 57 milliseconds