1091         granule = page_size * (nttes ** (4 - level))
1094 … {:#x}".format("IPA" if stage2 else "VA", int(unsigned(ptd.va[pt_index])) + (pte_pgoff * granule)))
1145                 granule = PmapBlockOffsetMaskARM64(page_size, level) + 1
1149                 granule = page_size
1153             if action(pmap, level, type, addressof(tt[i]), paddr, mapped_va, granule):
1155 …    FindMappingAtLevelARM64(pmap, tt_next, granule // ARM64_TTE_SIZE, level + 1, mapped_va, action)
1170             granule = pmap_pt_attr.pta_page_size
1175 …ction(pmap, pmap_pt_attr.pta_root_level, 'root', pmap.tte, unsigned(pmap.ttep), pmap.min, granule):
1201     def printMatchedMapping(pmap, level, type, tte, paddr, va, granule):  argument
1202         if paddr <= pa < (paddr + granule):
1203 …{:#x}, {:#x}), maps va {:#x}".format(pmap, level, type, unsigned(tte), paddr, paddr + granule, va))
1222     def printValidTTE(pmap, level, type, tte, paddr, va, granule):  argument
1248 def checkPVList(pmap, level, type, tte, paddr, va, granule):  argument