Searched defs:image_name (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 26 const char *image_name; member in struct:__anon3
88 static inline sel4utils_process_config_t process_config_elf(sel4utils_process_config_t config, const char *image_name, argument
173 static inline sel4utils_process_config_t process_config_default(const char *image_name, seL4_CPtr asid_pool) argument
183 static inline sel4utils_process_config_t process_config_default_simple(simple_t *simple, const char *image_name, argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 26 const char *image_name; member in struct:__anon4
88 static inline sel4utils_process_config_t process_config_elf(sel4utils_process_config_t config, const char *image_name, argument
173 static inline sel4utils_process_config_t process_config_default(const char *image_name, seL4_CPtr asid_pool) argument
183 static inline sel4utils_process_config_t process_config_default_simple(simple_t *simple, const char *image_name, argument
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | process.c | 397 sel4utils_configure_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, const char *image_name) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | process.c | 397 sel4utils_configure_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, const char *image_name) argument
|
Completed in 76 milliseconds