Lines Matching refs:custom_simple
169 int num_regions = custom_get_num_regions(&env->custom_simple);
172 error = custom_get_region_list(&env->custom_simple, num_regions, regions);
177 error = custom_simple_vspace_bootstrap_frames(&env->custom_simple, &env->vspace, &alloc_data, &env->vka);
203 size_t rumprun_size = env->custom_simple.rumprun_memory_size;
237 seL4_Signal(env.custom_simple.timer_config.timer_ntfn);
260 if (env.custom_simple.get_char_handler) {
261 env.custom_simple.get_char_handler();
271 seL4_Wait(env.custom_simple.stdio_ep[0], &sender_badge);
276 void preinit_rumprun(custom_simple_t *custom_simple)
278 if (custom_simple != &env.custom_simple) {
279 env.custom_simple = *custom_simple;
281 if (&env.simple != env.custom_simple.simple) {
282 env.simple = *env.custom_simple.simple;
290 int init_rumprun(custom_simple_t *custom_simple)
300 if (is_ltimer(custom_simple)) {
301 sel4utils_rpc_ltimer_init(&custom_simple->timer_config.ltimer.ltimer, env.io_ops,
302 custom_simple->rpc_ep, TIMER_LABEL);
312 simple_get_cnode(&env.simple), seL4_NilData, seL4_CapNull, custom_get_priority(&env.custom_simple));
316 if (!custom_simple->camkes) {
323 res = seL4_TCB_SetPriority(simple_get_tcb(&env.simple), auth, custom_get_priority(&env.custom_simple) - 1);
347 if (!custom_simple->camkes) {
351 struct rumprun_boot_config rumprun_config = {(char *)custom_get_cmdline(&env.custom_simple), CONFIG_RUMPRUN_TMPFS_NUM_MiB};