Searched defs:num_regions (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
| H A D | helpers.h | 42 int num_regions; member in struct:helper_thread
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | elf.c | 38 load_segment(vspace_t *loadee_vspace, vspace_t *loader_vspace, vka_t *loadee_vka, vka_t *loader_vka, char *src, size_t file_size, int num_regions, sel4utils_elf_region_t regions[num_regions], int region_index) argument
171 load_segments(vspace_t *loadee_vspace, vspace_t *loader_vspace, vka_t *loadee_vka, vka_t *loader_vka, elf_t *elf_file, int num_regions, sel4utils_elf_region_t regions[num_regions]) argument
423 elf_reserve_regions_in_vspace(vspace_t *loadee, elf_t *elf_file, int num_regions, sel4utils_elf_region_t regions[num_regions], int mapanywhere) argument
464 int num_regions = count_loadable_regions(elf_file); local
481 int num_regions = count_loadable_regions(elf_file); local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/ |
| H A D | test.h | 77 int num_regions; member in struct:env
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 70 int num_regions; member in struct:add_untypeds_state
1014 int num_regions = 0; local
1088 static int prepare_handle_device_untyped_cap(allocman_t *alloc, simple_t *simple, add_untypeds_state_t **token, int num_regions, pmem_region_t *region_list) { argument
1115 allocman_add_simple_untypeds_with_regions(allocman_t *alloc, simple_t *simple, int num_regions, pmem_region_t *region_list) argument
[all...] |
Completed in 51 milliseconds