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

/seL4-refos-master/kernel/tools/hardware/utils/
H A Dmemory.py29 def parse_reserved_regions(node: WrappedNode) -> Set[Region]: function
91 reserved = parse_reserved_regions(tree.get_path('/reserved-memory'))

Completed in 37 milliseconds