1168         granule = page_size * (nttes ** (3 - level))
1174 …rint("maps {}: {:#x}".format("IPA" if stage2 else "VA", int(unsigned(va)) + (pte_pgoff * granule)))
1229                 granule = PmapBlockOffsetMaskARM64(page_size, level) + 1
1233                 granule = page_size
1237             if action(pmap, level, type, addressof(tt[i]), paddr, mapped_va, granule):
1239 …    FindMappingAtLevelARM64(pmap, tt_next, granule // ARM64_TTE_SIZE, level + 1, mapped_va, action)
1254             granule = pmap_pt_attr.pta_page_size
1259 …ction(pmap, pmap_pt_attr.pta_root_level, 'root', pmap.tte, unsigned(pmap.ttep), pmap.min, granule):
1285     def printMatchedMapping(pmap, level, type, tte, paddr, va, granule):  argument
1286         if paddr <= pa < (paddr + granule):
1287 …{:#x}, {:#x}), maps va {:#x}".format(pmap, level, type, unsigned(tte), paddr, paddr + granule, va))
1306     def printValidTTE(pmap, level, type, tte, paddr, va, granule):  argument
1332 def checkPVList(pmap, level, type, tte, paddr, va, granule):  argument