Searched refs:align_memory (Results 1 – 2 of 2) sorted by relevance

/seL4-master/tools/hardware/
A D	config.py	37 def align_memory(self, regions: Set[Region]) -> List[Region]: member in Config 56 def align_memory(self, regions: Set[Region]) -> List[Region]: member in ARMConfig 81 def align_memory(self, regions: Set[Region]) -> List[Region]: member in RISCVConfig
/seL4-master/tools/hardware/utils/
A D	memory.py	91 regions, extra_reserved, physBase = config.align_memory(regions)

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023