ID_AA64MMFR0_EL1_TGRAN_2_SHIFT
ID_AA64MMFR0_EL1_TGRAN_2_SHIFT);
switch (cpuid_feature_extract_unsigned_field(mmfr0, ID_AA64MMFR0_EL1_TGRAN_2_SHIFT)) {