Searched defs:spawner_vspace (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c501 sel4utils_configure_process_custom(sel4utils_process_t *process, vka_t *vka, vspace_t *spawner_vspace, sel4utils_process_config_t config) argument

Completed in 28 milliseconds