Symbol: TCR_EL2_PS_52BITS
sys/arm64/vmm/vmm_arm64.c
328
TCR_EL2_PS_52BITS);
sys/arm64/vmm/vmm_arm64.c
362
case TCR_EL2_PS_52BITS: