ID_AA64MMFR0_EL1_TGRAN64_SUPPORTED_MAX
(val <= ID_AA64MMFR0_EL1_TGRAN64_SUPPORTED_MAX);
#define ID_AA64MMFR0_EL1_TGRAN_SUPPORTED_MAX ID_AA64MMFR0_EL1_TGRAN64_SUPPORTED_MAX
#define ID_AA64MMFR0_EL1_TGRAN_SUPPORTED_MAX ID_AA64MMFR0_EL1_TGRAN64_SUPPORTED_MAX