Searched refs:num_reservations (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dprocess_config.h55 int num_reservations; member in struct:__anon3
131 int num_reservations)
135 config.num_reservations = num_reservations;
129 process_config_create_vspace(sel4utils_process_config_t config, sel4utils_elf_region_t *reservations, int num_reservations) argument
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess_config.h55 int num_reservations; member in struct:__anon4
131 int num_reservations)
135 config.num_reservations = num_reservations;
129 process_config_create_vspace(sel4utils_process_config_t config, sel4utils_elf_region_t *reservations, int num_reservations) argument
/seL4-refos-master/libs/libsel4utils/src/
H A Dprocess.c550 if (config.num_reservations > 0) {
551 if (create_reservations(&process->vspace, config.num_reservations,
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c550 if (config.num_reservations > 0) {
551 if (create_reservations(&process->vspace, config.num_reservations,

Completed in 83 milliseconds