Symbol: ID_AA64MMFR0_PARange_4T
sys/arm64/acpica/acpi_machdep.c
249
case ID_AA64MMFR0_PARange_4T:
sys/arm64/arm64/identcpu.c
1255
MRS_FIELD_VALUE(ID_AA64MMFR0_PARange_4T, "4TB PA"),