Searched refs:align_down (Results 1 – 3 of 3) sorted by relevance

/seL4-master/tools/hardware/utils/
A D	__init__.py	14 def align_down(num, bits): function
A D	memory.py	101 as_max = hardware.utils.align_down(config.addrspace_max,
/seL4-master/tools/hardware/
A D	memory.py	103 new_base = hardware.utils.align_down(self.base, align_bits)

Completed in 6 milliseconds

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