Symbol: ID_AA64MMFR0_ECV_VAL
sys/arm/arm/generic_timer.c
666
if (ID_AA64MMFR0_ECV_VAL(id_aa64mmfr0_el1) >= ID_AA64MMFR0_ECV_IMPL)
sys/arm64/vmm/vmm_arm64.c
526
if (ID_AA64MMFR0_ECV_VAL(idreg) >= ID_AA64MMFR0_ECV_POFF)