/seL4-refos-master/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-refos-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-refos-master/seL4_tools/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-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
H A D | acpi.h | 86 void *regions; member in struct:acpi
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
H A D | acpi.h | 86 void *regions; member in struct:acpi
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | region.c | 14 static NhRegion **regions; variable [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | region.c | 14 static NhRegion **regions; variable [all...] |
/seL4-refos-master/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-refos-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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | sp_lev.h | 149 region **regions; member in struct:__anon717
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | sp_lev.h | 149 region **regions; member in struct:__anon39
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | bootstrap.c | 72 pmem_region_t *regions; member in struct:add_untypeds_state [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 72 pmem_region_t *regions; member in struct:add_untypeds_state [all...] |