libsel4utils/src/thread.c

36                                seL4_CNode cspace, seL4_Word cspace_root_data, sel4utils_thread_t *res)
43     return sel4utils_configure_thread_config(vka, parent, alloc, config, res);
47                                       sel4utils_thread_config_t config, sel4utils_thread_t *res)
49     memset(res, 0, sizeof(sel4utils_thread_t));
51     int error = vka_alloc_tcb(vka, &res->tcb);
54         sel4utils_clean_up_thread(vka, alloc, res);
59         res->ipc_buffer_addr = (seL4_Word) vspace_new_ipc_buffer(alloc, &res->ipc_buffer);
61         if (res->ipc_buffer_addr == 0) {
68         if (vka_alloc_reply(vka, &res->reply)) {
70             sel4utils_clean_up_thread(vka, alloc, res);
73         res->own_reply = true;
75         res->reply.cptr = config.reply;
81             sel4utils_clean_up_thread(vka, alloc, res);
86         if (vka_alloc_sched_context(vka, &res->sched_context)) {
88             sel4utils_clean_up_thread(vka, alloc, res);
94             error = api_sched_ctrl_configure(config.sched_params.sched_ctrl, res->sched_context.cptr,
100             sel4utils_clean_up_thread(vka, alloc, res);
103         res->own_sc = true;
105         res->sched_context.cptr = config.sched_params.sched_context;
108     error = api_tcb_configure(res->tcb.cptr, config.fault_endpoint,
110                               res->sched_context.cptr,
113                               null_cap_data, res->ipc_buffer_addr, res->ipc_buffer);
117         sel4utils_clean_up_thread(vka, alloc, res);
124         error = seL4_TCB_SetMCPriority(res->tcb.cptr, config.sched_params.auth,
133         error = seL4_TCB_SetPriority(res->tcb.cptr, config.sched_params.auth,
137             sel4utils_clean_up_thread(vka, alloc, res);
143         res->stack_size = config.stack_size;
145         res->stack_size = BYTES_TO_4K_PAGES(CONFIG_SEL4UTILS_STACK_SIZE);
148     if (res->stack_size > 0) {
149         res->stack_top = vspace_new_sized_stack(alloc, res->stack_size);
151         if (res->stack_top == NULL) {
153             sel4utils_clean_up_thread(vka, alloc, res);
157         res->initial_stack_pointer = res->stack_top;
306                               sel4utils_thread_t *res)
309                                            cap_data, res);
316     return sel4utils_start_thread(res, (sel4utils_thread_entry_fn)fault_handler, name,