Lines Matching defs:cp
905 seL4_Word arg2, seL4_Word arg3, sel4utils_checkpoint_t *cp)
916 return sel4utils_checkpoint_thread(&passive->thread, cp, false);
920 seL4_CPtr reply, sel4utils_checkpoint_t *cp, seL4_CPtr ep,
939 size_t stack_size = (uintptr_t) cp->thread->stack_top - cp->sp;
940 memcpy((void *) cp->sp, cp->stack, stack_size);
949 info = seL4_TimeoutReply_new(true, cp->regs, sizeof(seL4_UserContext) / sizeof(seL4_Word));
965 sel4utils_checkpoint_t cp;
974 (seL4_Word)env, ro, 0, &cp);
985 error = handle_timeout_fault(tfep, server_badge, &server.thread, ro, &cp, ep,