/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | browser.h | 15 #include "regions.h" 30 acpi_browse_regions(const RegionList_t* regions); 41 acpi_browse_regions(const RegionList_t* regions) argument 43 (void)regions;
|
H A D | regions.c | 13 #include <platsupport/plat/acpi/regions.h> 16 #include "regions.h" 105 if (consolidated->regions[i].start + consolidated->regions[i].size == 106 consolidated->regions[j].start) { 107 consolidated->regions[i].size += consolidated->regions[j].size; 116 sort_regions(RegionList_t* regions) argument 118 qsort(regions->regions, region 241 RegionList_t *regions = acpi->regions; local [all...] |
H A D | walker.h | 15 #include <platsupport/plat/acpi/regions.h> 18 #include "regions.h"
|
H A D | walker.c | 154 _acpi_parse_tables(acpi_t *acpi, void* table_addr, RegionList_t* regions, argument 177 this_rec = add_region_size(regions, type, table_vaddr, 192 regions, this_rec); 214 regions, this_rec); local 216 regions, this_rec); local 255 remove_region(regions, this_rec); 262 remove_region(regions, this_rec); 269 remove_region(regions, this_rec); 285 remove_region(regions, this_rec); 290 remove_region(regions, this_re 298 RegionList_t *regions = (RegionList_t *) acpi->regions; local 318 regions, rec); local 320 regions, rec); local [all...] |
H A D | acpi.c | 69 ZF_LOGD("Region 0/%d: size = %zu/%zu\n", dst->region_count, dst->regions[0].size, size); 94 Region_t* dst = &dlist->regions[index]; 124 src = &slist->regions[table_index]; 131 Region_t* dst = &dlist->regions[index]; 180 if (slist->regions[i].parent == table_index) { 191 Region_t* dst = &dlist->regions[index]; 237 rsdt = dlist->regions[rsdt_index].start; 251 Region_t* dst = &dlist->regions[index]; 287 return dlist->regions[index].start - dlist->offset; 298 if (slist->regions[ [all...] |
H A D | regions.h | 15 #include <platsupport/plat/acpi/regions.h> 34 Region_t regions[MAX_REGIONS]; member in struct:RegionList 38 * traversing/updating links within regions. 50 * Join contiguous regions 56 * Sort regions by start address 59 sort_regions(RegionList_t* regions);
|
H A D | acpi.h | 28 #include <platsupport/plat/acpi/regions.h> 29 #include "regions.h" 76 * src must be a list of table regions that should be copied 77 * dst must be a list of free regions for storing tables. 82 * tables will be stored in the ACPI_AVAILABLE_PTR regions.
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | browser.h | 15 #include "regions.h" 30 acpi_browse_regions(const RegionList_t* regions); 41 acpi_browse_regions(const RegionList_t* regions) argument 43 (void)regions;
|
H A D | regions.c | 13 #include <platsupport/plat/acpi/regions.h> 16 #include "regions.h" 105 if (consolidated->regions[i].start + consolidated->regions[i].size == 106 consolidated->regions[j].start) { 107 consolidated->regions[i].size += consolidated->regions[j].size; 116 sort_regions(RegionList_t* regions) argument 118 qsort(regions->regions, region 241 RegionList_t *regions = acpi->regions; local [all...] |
H A D | walker.h | 15 #include <platsupport/plat/acpi/regions.h> 18 #include "regions.h"
|
H A D | walker.c | 154 _acpi_parse_tables(acpi_t *acpi, void* table_addr, RegionList_t* regions, argument 177 this_rec = add_region_size(regions, type, table_vaddr, 192 regions, this_rec); 214 regions, this_rec); local 216 regions, this_rec); local 255 remove_region(regions, this_rec); 262 remove_region(regions, this_rec); 269 remove_region(regions, this_rec); 285 remove_region(regions, this_rec); 290 remove_region(regions, this_re 298 RegionList_t *regions = (RegionList_t *) acpi->regions; local 318 regions, rec); local 320 regions, rec); local [all...] |
H A D | acpi.c | 69 ZF_LOGD("Region 0/%d: size = %zu/%zu\n", dst->region_count, dst->regions[0].size, size); 94 Region_t* dst = &dlist->regions[index]; 124 src = &slist->regions[table_index]; 131 Region_t* dst = &dlist->regions[index]; 180 if (slist->regions[i].parent == table_index) { 191 Region_t* dst = &dlist->regions[index]; 237 rsdt = dlist->regions[rsdt_index].start; 251 Region_t* dst = &dlist->regions[index]; 287 return dlist->regions[index].start - dlist->offset; 298 if (slist->regions[ [all...] |
H A D | regions.h | 15 #include <platsupport/plat/acpi/regions.h> 34 Region_t regions[MAX_REGIONS]; member in struct:RegionList 38 * traversing/updating links within regions. 50 * Join contiguous regions 56 * Sort regions by start address 59 sort_regions(RegionList_t* regions);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | region.c | 14 static NhRegion **regions; variable 292 tmp_reg = regions; 293 regions = (NhRegion **)alloc(sizeof (NhRegion *) * (max_regions + 10)); 295 (void) memcpy((genericptr_t) regions, (genericptr_t) tmp_reg, 301 regions[n_regions] = reg; 306 /* Some regions can cross the level boundaries */ 331 if (regions[i] == reg) 344 regions[i] = regions[n_regions - 1]; 345 regions[n_region [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | region.c | 14 static NhRegion **regions; variable 292 tmp_reg = regions; 293 regions = (NhRegion **)alloc(sizeof (NhRegion *) * (max_regions + 10)); 295 (void) memcpy((genericptr_t) regions, (genericptr_t) tmp_reg, 301 regions[n_regions] = reg; 306 /* Some regions can cross the level boundaries */ 331 if (regions[i] == reg) 344 regions[i] = regions[n_regions - 1]; 345 regions[n_region [all...] |
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | elf.c | 41 sel4utils_elf_region_t regions[num_regions], int region_index) 44 sel4utils_elf_region_t region = regions[region_index]; 75 ZF_LOGE("Invalid regions: bad elf file."); 78 reservation = regions[region_index - 1].reservation; 82 ZF_LOGE("Invalid regions: bad elf file."); 85 reservation = regions[region_index + 1].reservation; 154 * Load an array of regions into a vspace. 166 * @param num_regions total number of segments/regions to load. 167 * @param regions region array containing segment info. 173 int num_regions, sel4utils_elf_region_t regions[num_region 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...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 41 sel4utils_elf_region_t regions[num_regions], int region_index) 44 sel4utils_elf_region_t region = regions[region_index]; 75 ZF_LOGE("Invalid regions: bad elf file."); 78 reservation = regions[region_index - 1].reservation; 82 ZF_LOGE("Invalid regions: bad elf file."); 85 reservation = regions[region_index + 1].reservation; 154 * Load an array of regions into a vspace. 166 * @param num_regions total number of segments/regions to load. 167 * @param regions region array containing segment info. 173 int num_regions, sel4utils_elf_region_t regions[num_region 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...] |
/seL4-refos-master/kernel/tools/hardware/utils/ |
H A D | memory.py | 19 ''' Get all regions with device_type = memory in the tree ''' 20 regions = set() 24 regions.update(node.get_regions()) 26 return regions 30 ''' Parse a reserved-memory node, looking for regions that are 42 def reserve_regions(regions: Set[Region], reserved: Set[Region]) -> Set[Region]: 43 ''' Given a set of regions, and a set of reserved regions, 44 return a new set that is the first set of regions minus the second set. ''' 45 ret = set(regions) [all...] |
H A D | rule.py | 52 self.regions = aligned.make_chunks(1 << page_bits) 90 index = self.regions.index(reg) 98 return 'KernelRegion(reg={},labels={})'.format(self.regions, self.labels) 149 self.regions: Dict[int, Dict] = {} 153 for reg in rule.get('regions', []): 154 self.regions[reg['index']] = reg 160 regions = node.get_regions() 162 for (i, rule) in self.regions.items(): 163 if i >= len(regions): 166 reg = regions[ [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 80 regions.append(args.reserve) 81 total = sum(regions)
|
H A D | platform_sift.py | 27 `load_data()` contains a well-formed List of disjunct memory regions ordered 105 Return a (typically multi-line) string with information about memory regions 147 regions = [] variable 150 regions.append('''\t{{ .start = {start}, .end = {end} }},\ 153 body = '\n'.join(regions) 157 head = 'number of memory regions: {}\n'.format(n) 158 regions = [] variable 161 regions.append('''region {r}: 166 report = '{head}{body}'.format(head=head, body='\n'.join(regions))
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | elf.h | 64 * @param regions Optional array for list of regions to be placed. Assumed to be the correct 73 vka_t *loader_vka, elf_t *elf, sel4utils_elf_region_t *regions, int mapanywhere); 92 * Parses an elf file but does not actually load it. Merely reserves the regions in the vspace 95 * @param loadee the vspace to reserve the elf regions in 97 * @param regions Array for list of regions to be placed. Assumed to be the correct 103 sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf, sel4utils_elf_region_t *regions); 106 * Parses an elf file and returns the number of loadable regions. The result of this 107 * is used to calculate the number of regions t [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | elf.h | 64 * @param regions Optional array for list of regions to be placed. Assumed to be the correct 73 vka_t *loader_vka, elf_t *elf, sel4utils_elf_region_t *regions, int mapanywhere); 92 * Parses an elf file but does not actually load it. Merely reserves the regions in the vspace 95 * @param loadee the vspace to reserve the elf regions in 97 * @param regions Array for list of regions to be placed. Assumed to be the correct 103 sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf, sel4utils_elf_region_t *regions); 106 * Parses an elf file and returns the number of loadable regions. The result of this 107 * is used to calculate the number of regions t [all...] |
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
H A D | acpi.h | 19 #include <platsupport/plat/acpi/regions.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 | 19 #include <platsupport/plat/acpi/regions.h> 86 void *regions; member in struct:acpi
|