Searched defs:sel4utils_checkpoint_restore (Results 1 - 1 of 1) sorted by relevance
| /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) function |
Completed in 108 milliseconds