1306         granule = nttes * page_size
1309         granule = page_size
1310 … {:#x}".format("IPA" if stage2 else "VA", long(unsigned(ptd.va[pt_index])) + (pte_pgoff * granule))
1355                     granule = 1024
1361                         granule = 1 << 24
1364                         granule = 1 << 20
1370                 granule = 1 << 16
1374                 granule = 1 << 12
1379                 va_size = granule
1381             if action(pmap, level, type, addressof(tt[i]), paddr, mapped_va, granule):
1384                     FindMappingAtLevelARM(pmap, tt_next, granule / 4, level + 1, mapped_va, action)
1415                 granule = PmapBlockOffsetMaskARM64(page_size, level) + 1
1419                 granule = page_size
1423             if action(pmap, level, type, addressof(tt[i]), paddr, mapped_va, granule):
1425 …     FindMappingAtLevelARM64(pmap, tt_next, granule / ARM64_TTE_SIZE, level + 1, mapped_va, action)
1440             granule = pmap_pt_attr.pta_page_size
1445             granule = pmap.tte_index_max * 4
1447 …ction(pmap, pmap_pt_attr.pta_root_level, 'root', pmap.tte, unsigned(pmap.ttep), pmap.min, granule):
1475     def printMatchedMapping(pmap, level, type, tte, paddr, va, granule):  argument
1476         if paddr <= pa < (paddr + granule):
1477 …[{:#x}, {:#x}), maps va {:#x}".format(pmap, level, type, unsigned(tte), paddr, paddr + granule, va)
1496     def printValidTTE(pmap, level, type, tte, paddr, va, granule):  argument
1522 def checkPVList(pmap, level, type, tte, paddr, va, granule):  argument