| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | thread.h | 17 * Any other operations (start, stop, resume) should use the seL4 API directly on
129 * @param resume 1 to start the thread immediately, 0 otherwise.
134 void *arg0, void *arg1, int resume);
176 * @param resume true if the thread should be resumed immediately.
180 int sel4utils_checkpoint_restore(sel4utils_checkpoint_t *checkpoint, bool free, bool resume);
|
| H A D | process.h | 122 * @param resume 1 to start the process, 0 to leave suspended.
128 int argc, char *argv[], int resume);
145 * @param resume 1 to start the process, 0 to leave suspended.
151 int argc, char *argv[], int resume);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | thread.h | 17 * Any other operations (start, stop, resume) should use the seL4 API directly on
129 * @param resume 1 to start the thread immediately, 0 otherwise.
134 void *arg0, void *arg1, int resume);
176 * @param resume true if the thread should be resumed immediately.
180 int sel4utils_checkpoint_restore(sel4utils_checkpoint_t *checkpoint, bool free, bool resume);
|
| H A D | process.h | 122 * @param resume 1 to start the process, 0 to leave suspended.
128 int argc, char *argv[], int resume);
145 * @param resume 1 to start the process, 0 to leave suspended.
151 int argc, char *argv[], int resume);
|
| /seL4-refos-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
77 seL4_MessageInfo_t info = seL4_MessageInfo_new(!resume, 0, 0, length);
|
| /seL4-refos-master/libs/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
77 seL4_MessageInfo_t info = seL4_MessageInfo_new(!resume, 0, 0, length);
|
| /seL4-refos-master/libs/libmuslc/src/multibyte/ |
| H A D | mbsrtowcs.c | 17 goto resume;
88 resume:
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | thread.c | 164 void *arg0, void *arg1, int resume)
200 if (resume) {
362 sel4utils_checkpoint_restore(sel4utils_checkpoint_t *checkpoint, bool free_memory, bool resume) argument
369 int error = seL4_TCB_WriteRegisters(checkpoint->thread->tcb.cptr, resume, 0,
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 | 231 char *argv[], int resume)
270 return seL4_TCB_WriteRegisters(process->thread.tcb.cptr, resume, 0, context_size, &context);
274 char *argv[], int resume)
393 return seL4_TCB_WriteRegisters(process->thread.tcb.cptr, resume, 0, sizeof(context) / sizeof(seL4_Word),
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-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 164 void *arg0, void *arg1, int resume)
200 if (resume) {
362 sel4utils_checkpoint_restore(sel4utils_checkpoint_t *checkpoint, bool free_memory, bool resume) argument
369 int error = seL4_TCB_WriteRegisters(checkpoint->thread->tcb.cptr, resume, 0,
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 | 231 char *argv[], int resume)
270 return seL4_TCB_WriteRegisters(process->thread.tcb.cptr, resume, 0, context_size, &context);
274 char *argv[], int resume)
393 return seL4_TCB_WriteRegisters(process->thread.tcb.cptr, resume, 0, sizeof(context) / sizeof(seL4_Word),
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-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 585 int resume; local
601 resume = cdata->cb(dma330_ptr, sig, pc, stat, cdata->token);
603 resume = 0;
606 if (!resume || dmac_get_status(dma330, ch) == CHSTS_STOPPED) {
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 585 int resume; local
601 resume = cdata->cb(dma330_ptr, sig, pc, stat, cdata->token);
603 resume = 0;
606 if (!resume || dmac_get_status(dma330, ch) == CHSTS_STOPPED) {
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | threads.tex | 48 \texttt{resume\_target} parameter in the \apifunc{seL4\_TCB\_WriteRegisters}{tcb_writeregisters} invocation to true
56 In a SMP configuration of the kernel, the thread will resume on the core
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | interface.tex | 102 Map the frame at the given VSpace into a client's faulted window and then resolve the fault and resume execution of the faulting client. This protocol is most commonly used in response to a prior fault notification from the process server, and it also may be used to eagerly map frames into clients before they VMfault.
|