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