Symbol: ID_AA64MMFR0_PARange_VAL
sys/arm64/acpica/acpi_machdep.c
239
switch (ID_AA64MMFR0_PARange_VAL(mmfr0)) {
sys/arm64/vmm/vmm_arm64.c
255
pa_range_field = ID_AA64MMFR0_PARange_VAL(id_aa64mmfr0_el1);