| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | browser.h | 41 acpi_browse_regions(const RegionList_t* regions) argument
|
| H A D | regions.h | 34 Region_t regions[MAX_REGIONS]; member in struct:RegionList
|
| H A D | regions.c | 116 sort_regions(RegionList_t* regions) argument
241 RegionList_t *regions = acpi->regions; local
[all...] |
| H A D | walker.c | 154 _acpi_parse_tables(acpi_t *acpi, void* table_addr, RegionList_t* regions, argument
214 regions, this_rec); local
216 regions, this_rec); local
298 RegionList_t *regions = (RegionList_t *) acpi->regions; local
318 regions, rec); local
320 regions, rec); local
[all...] |
| /seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
| H A D | elf_sift.py | 78 regions = [get_memory_usage_from_file(elf, args.align) variable
|
| H A D | platform_sift.py | 147 regions = [] variable
158 regions = [] variable
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
| H A D | acpi.h | 86 void *regions; member in struct:acpi
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | simple.c | 183 int custom_get_region_list(custom_simple_t *custom_simple, int num_regions, pmem_region_t *regions) argument
|
| H A D | entry.c | 170 pmem_region_t *regions = allocman_mspace_alloc(allocator, sizeof(pmem_region_t) * num_regions, &error); local
|
| /seL4-camkes-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
229 create_reservations(vspace_t *loadee, size_t total_regions, sel4utils_elf_region_t regions[total_regions], int anywhere) argument
303 prepare_reservations(size_t total_regions, sel4utils_elf_region_t regions[total_regions]) argument
357 read_regions(elf_t *elf_file, size_t total_regions, sel4utils_elf_region_t regions[total_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
461 sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf_file, sel4utils_elf_region_t *regions) argument
477 sel4utils_elf_load_record_regions(vspace_t *loadee, vspace_t *loader, vka_t *loadee_vka, vka_t *loader_vka, elf_t *elf_file, sel4utils_elf_region_t *regions, int mapanywhere) argument
[all...] |
| H A D | process.c | 404 static int create_reservations(vspace_t *vspace, int num, sel4utils_elf_region_t regions[]) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
| H A D | test.h | 78 sel4utils_elf_region_t regions[MAX_REGIONS]; member in struct:env
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 72 pmem_region_t *regions; member in struct:add_untypeds_state
[all...] |