Searched defs:resume (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | faults.h | 75 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_TimeoutReply_new(seL4_Bool resume, seL4_UserContext regs, seL4_Word length) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 362 sel4utils_checkpoint_restore(sel4utils_checkpoint_t *checkpoint, bool free_memory, bool resume) argument 163 sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, int resume) argument
|
H A D | process.c | 230 sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument 273 sel4utils_spawn_process_v(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | dma330.c | 585 int resume; local
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
H A D | capdl.h | 273 bool resume; member in struct:__anon46
|
Completed in 51 milliseconds