Symbol: AARCH64_MAX_PA
sys/arch/aarch64/aarch64/aarch64_machdep.c
622
if (pa >= AARCH64_MAX_PA)
sys/arch/aarch64/aarch64/pmap.c
1790
KASSERT(pa < AARCH64_MAX_PA);