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

/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A D__init__.py20 from .util import page_index, page_sizes, page_table_coverage, \
21 page_table_index, page_table_vaddr, page_vaddr, lookup_architecture, valid_architectures namespace
H A Dutil.py335 def page_index(arch, vaddr): function

Completed in 209 milliseconds