Symbol: PTE_SHIFT
sys/arm64/vmm/vmm_arm64.c
1009
pte_shift = (levels - 1) * (granule_shift - PTE_SHIFT) +
sys/arm64/vmm/vmm_arm64.c
1012
((1ul << (granule_shift - PTE_SHIFT)) - 1);
sys/arm64/vmm/vmm_arm64.c
999
levels = howmany(address_bits, granule_shift - PTE_SHIFT);