1311         granule = nttes * page_size
1314         granule = page_size
1315 … {:#x}".format("IPA" if stage2 else "VA", int(unsigned(ptd.va[pt_index])) + (pte_pgoff * granule)))
1360                     granule = 1024
1366                         granule = 1 << 24
1369                         granule = 1 << 20
1375                 granule = 1 << 16
1379                 granule = 1 << 12
1384                 va_size = granule
1386             if action(pmap, level, type, addressof(tt[i]), paddr, mapped_va, granule):
1389                     FindMappingAtLevelARM(pmap, tt_next, granule // 4, level + 1, mapped_va, action)
1420                 granule = PmapBlockOffsetMaskARM64(page_size, level) + 1
1424                 granule = page_size
1428             if action(pmap, level, type, addressof(tt[i]), paddr, mapped_va, granule):
1430 …    FindMappingAtLevelARM64(pmap, tt_next, granule // ARM64_TTE_SIZE, level + 1, mapped_va, action)
1445             granule = pmap_pt_attr.pta_page_size
1450             granule = pmap.tte_index_max * 4
1452 …ction(pmap, pmap_pt_attr.pta_root_level, 'root', pmap.tte, unsigned(pmap.ttep), pmap.min, granule):
1480     def printMatchedMapping(pmap, level, type, tte, paddr, va, granule):  argument
1481         if paddr <= pa < (paddr + granule):
1482 …{:#x}, {:#x}), maps va {:#x}".format(pmap, level, type, unsigned(tte), paddr, paddr + granule, va))
1501     def printValidTTE(pmap, level, type, tte, paddr, va, granule):  argument
1527 def checkPVList(pmap, level, type, tte, paddr, va, granule):  argument