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

/seL4-test-master/kernel/tools/hardware/
H A Dconfig.py24 def get_page_bits(self) -> int: member in class:Config
30 return self.get_page_bits()
/seL4-test-master/kernel/tools/hardware/utils/
H A Dmemory.py101 as_max = utils.align_down(config.addrspace_max, config.get_page_bits())

Completed in 23 milliseconds