1189         granule = page_size * (nttes ** (3 - level))
1195 …rint("maps {}: {:#x}".format("IPA" if stage2 else "VA", int(unsigned(va)) + (pte_pgoff * granule)))
1250                 granule = PmapBlockOffsetMaskARM64(page_size, level) + 1
1254                 granule = page_size
1258             if action(pmap, level, type, addressof(tt[i]), paddr, mapped_va, granule):
1260 …    FindMappingAtLevelARM64(pmap, tt_next, granule // ARM64_TTE_SIZE, level + 1, mapped_va, action)
1275             granule = pmap_pt_attr.pta_page_size
1280 …ction(pmap, pmap_pt_attr.pta_root_level, 'root', pmap.tte, unsigned(pmap.ttep), pmap.min, granule):
1306     def printMatchedMapping(pmap, level, type, tte, paddr, va, granule):  argument
1307         if paddr <= pa < (paddr + granule):
1308 …{:#x}, {:#x}), maps va {:#x}".format(pmap, level, type, unsigned(tte), paddr, paddr + granule, va))
1327     def printValidTTE(pmap, level, type, tte, paddr, va, granule):  argument
1353 def checkPVList(pmap, level, type, tte, paddr, va, granule):  argument