ID_AA64MMFR0_ECV_MASK
value |= cpu_id_aa64mmfr0 & ID_AA64MMFR0_ECV_MASK;
#define ID_AA64MMFR0_ECV(x) ((x) & ID_AA64MMFR0_ECV_MASK)