1111         granule = page_size * (nttes ** (3 - level))
1114 … {:#x}".format("IPA" if stage2 else "VA", int(unsigned(ptd.va[pt_index])) + (pte_pgoff * granule)))
1169                 granule = PmapBlockOffsetMaskARM64(page_size, level) + 1
1173                 granule = page_size
1177             if action(pmap, level, type, addressof(tt[i]), paddr, mapped_va, granule):
1179 …    FindMappingAtLevelARM64(pmap, tt_next, granule // ARM64_TTE_SIZE, level + 1, mapped_va, action)
1194             granule = pmap_pt_attr.pta_page_size
1199 …ction(pmap, pmap_pt_attr.pta_root_level, 'root', pmap.tte, unsigned(pmap.ttep), pmap.min, granule):
1225     def printMatchedMapping(pmap, level, type, tte, paddr, va, granule):  argument
1226         if paddr <= pa < (paddr + granule):
1227 …{:#x}, {:#x}), maps va {:#x}".format(pmap, level, type, unsigned(tte), paddr, paddr + granule, va))
1246     def printValidTTE(pmap, level, type, tte, paddr, va, granule):  argument
1272 def checkPVList(pmap, level, type, tte, paddr, va, granule):  argument