Searched refs:regions (Results 1 - 25 of 40) sorted by relevance

12

/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/
H A Dbrowser.h15 #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 Dregions.c13 #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 Dwalker.h15 #include <platsupport/plat/acpi/regions.h>
18 #include "regions.h"
H A Dwalker.c154 _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 Dacpi.c69 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 Dregions.h15 #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 Dacpi.h28 #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 Dbrowser.h15 #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 Dregions.c13 #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 Dwalker.h15 #include <platsupport/plat/acpi/regions.h>
18 #include "regions.h"
H A Dwalker.c154 _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 Dacpi.c69 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 Dregions.h15 #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 Dregion.c14 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 Dregion.c14 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 Delf.c41 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 Delf.c41 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 Dmemory.py19 ''' 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 Drule.py52 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 Delf_sift.py78 regions = [get_memory_usage_from_file(elf, args.align) variable
80 regions.append(args.reserve)
81 total = sum(regions)
H A Dplatform_sift.py27 `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 Delf.h64 * @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 Delf.h64 * @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 Dacpi.h19 #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 Dacpi.h19 #include <platsupport/plat/acpi/regions.h>
86 void *regions; member in struct:acpi

Completed in 70 milliseconds

12