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

/seL4-camkes-master/kernel/tools/hardware/utils/
H A D__init__.py14 def align_down(num, bits): function
H A Dmemory.py101 as_max = utils.align_down(config.addrspace_max, config.get_page_bits())
/seL4-camkes-master/kernel/tools/hardware/
H A Dmemory.py93 new_base = utils.align_down(self.base, align_bits)

Completed in 83 milliseconds