Searched refs:Region (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/kernel/tools/hardware/utils/
H A Dmemory.py14 from hardware.memory import Region namespace
29 def parse_reserved_regions(node: WrappedNode) -> Set[Region]:
42 def reserve_regions(regions: Set[Region], reserved: Set[Region]) -> Set[Region]:
57 def align_memory(regions: Set[Region], config: Config) -> List[Region]:
70 resv = Region(ret[0].base, config.get_bootloader_reserve(), None)
77 resv = Region(ret[0].base, new.base - ret[0].base, None)
88 def get_physical_memory(tree: FdtParser, config: Config) -> List[Region]
[all...]
H A Drule.py16 from hardware.memory import Region namespace
40 def __init__(self, region: Region, kernel_name: str, page_bits: int, max_size: int, condition_macro: str = None, user_ok: bool = False):
/seL4-refos-master/kernel/tools/hardware/
H A Dmemory.py13 class Region: class in inherits:
23 ret = Region(other.base, other.size)
27 return 'Region(base=0x{:x},size=0x{:x})'.format(self.base, self.size)
45 ret = Region(start, end - start, owner)
62 return [Region(self.base, self.size, self.owner)]
67 ret.append(Region.from_range(self.base, excluded.base, self.owner))
71 ret.append(Region.from_range(excluded.base + excluded.size,
77 ret.append(Region.from_range(excluded.base + excluded.size,
86 new = Region(new_base, new_size, self.owner)
95 new = Region(new_bas
[all...]
H A Ddevice.py13 from hardware.memory import Region namespace
100 def get_regions(self) -> List[Region]:
108 reg.append(Region(self.parent._translate_child_address(r[0]), r[1], self))
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.h26 typedef struct Region { struct
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.h26 typedef struct Region { struct

Completed in 61 milliseconds