Searched refs:thread_config (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dthread.h31 #include <sel4utils/thread_config.h>
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c605 sel4utils_thread_config_t thread_config = {0}; local
606 thread_config = thread_config_cspace(thread_config, process->cspace.cptr, cspace_root_data);
609 thread_config = thread_config_fault_endpoint(thread_config, process->fault_endpoint.cptr);
612 thread_config = thread_config_fault_endpoint(thread_config, SEL4UTILS_ENDPOINT_SLOT);
614 thread_config.sched_params = config.sched_params;
615 thread_config.create_reply = config.create_cspace;
616 error = sel4utils_configure_thread_config(vka, spawner_vspace, &process->vspace, thread_config,
[all...]
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c311 sel4utils_thread_config_t thread_config = thread_config_default(&env.simple, local
314 res = sel4utils_configure_thread_config(&env.vka, &env.vspace, &env.vspace, thread_config, &env.pci_thread);
317 res = sel4utils_configure_thread_config(&env.vka, &env.vspace, &env.vspace, thread_config, &env.stdio_thread);

Completed in 48 milliseconds