Searched refs:Region (Results 1 - 6 of 6) sorted by relevance
/seL4-refos-master/kernel/tools/hardware/utils/ |
H A D | memory.py | 14 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 D | rule.py | 16 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 D | memory.py | 13 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 D | device.py | 13 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 D | regions.h | 26 typedef struct Region { struct
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 26 typedef struct Region { struct
|
Completed in 61 milliseconds