811 #define read_sysreg_case(r)	\  macro
821 	read_sysreg_case(SYS_ID_PFR0_EL1);  in __read_sysreg_by_encoding()
822 	read_sysreg_case(SYS_ID_PFR1_EL1);  in __read_sysreg_by_encoding()
823 	read_sysreg_case(SYS_ID_DFR0_EL1);  in __read_sysreg_by_encoding()
824 	read_sysreg_case(SYS_ID_MMFR0_EL1);  in __read_sysreg_by_encoding()
825 	read_sysreg_case(SYS_ID_MMFR1_EL1);  in __read_sysreg_by_encoding()
826 	read_sysreg_case(SYS_ID_MMFR2_EL1);  in __read_sysreg_by_encoding()
827 	read_sysreg_case(SYS_ID_MMFR3_EL1);  in __read_sysreg_by_encoding()
828 	read_sysreg_case(SYS_ID_ISAR0_EL1);  in __read_sysreg_by_encoding()
829 	read_sysreg_case(SYS_ID_ISAR1_EL1);  in __read_sysreg_by_encoding()
830 	read_sysreg_case(SYS_ID_ISAR2_EL1);  in __read_sysreg_by_encoding()
831 	read_sysreg_case(SYS_ID_ISAR3_EL1);  in __read_sysreg_by_encoding()
832 	read_sysreg_case(SYS_ID_ISAR4_EL1);  in __read_sysreg_by_encoding()
833 	read_sysreg_case(SYS_ID_ISAR5_EL1);  in __read_sysreg_by_encoding()
834 	read_sysreg_case(SYS_MVFR0_EL1);  in __read_sysreg_by_encoding()
835 	read_sysreg_case(SYS_MVFR1_EL1);  in __read_sysreg_by_encoding()
836 	read_sysreg_case(SYS_MVFR2_EL1);  in __read_sysreg_by_encoding()
838 	read_sysreg_case(SYS_ID_AA64PFR0_EL1);  in __read_sysreg_by_encoding()
839 	read_sysreg_case(SYS_ID_AA64PFR1_EL1);  in __read_sysreg_by_encoding()
840 	read_sysreg_case(SYS_ID_AA64ZFR0_EL1);  in __read_sysreg_by_encoding()
841 	read_sysreg_case(SYS_ID_AA64DFR0_EL1);  in __read_sysreg_by_encoding()
842 	read_sysreg_case(SYS_ID_AA64DFR1_EL1);  in __read_sysreg_by_encoding()
843 	read_sysreg_case(SYS_ID_AA64MMFR0_EL1);  in __read_sysreg_by_encoding()
844 	read_sysreg_case(SYS_ID_AA64MMFR1_EL1);  in __read_sysreg_by_encoding()
845 	read_sysreg_case(SYS_ID_AA64MMFR2_EL1);  in __read_sysreg_by_encoding()
846 	read_sysreg_case(SYS_ID_AA64ISAR0_EL1);  in __read_sysreg_by_encoding()
847 	read_sysreg_case(SYS_ID_AA64ISAR1_EL1);  in __read_sysreg_by_encoding()
849 	read_sysreg_case(SYS_CNTFRQ_EL0);  in __read_sysreg_by_encoding()
850 	read_sysreg_case(SYS_CTR_EL0);  in __read_sysreg_by_encoding()
851 	read_sysreg_case(SYS_DCZID_EL0);  in __read_sysreg_by_encoding()