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

/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py23 from capdl.util import ctz, valid_architectures, lookup_architecture, round_down, round_up, PAGE_SIZE namespace
35 align_bits = ctz(start) if start > 0 else size_bits
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DAllocator.py23 from capdl.util import ctz namespace
590 size_bits = min(ctz(size_bytes), ctz(untyped.watermark_paddr())
591 ) if untyped.watermark_paddr() else ctz(size_bytes)
H A Dutil.py351 def ctz(size_bytes): function
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py27 from capdl.util import ctz namespace
104 return ctz(addr)

Completed in 91 milliseconds