Searched refs:thread_config (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread.h | 31 #include <sel4utils/thread_config.h>
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 605 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 D | entry.c | 311 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