746 #define read_sysreg_case(r)	\  macro
756 	read_sysreg_case(SYS_ID_PFR0_EL1);  in __read_sysreg_by_encoding()
757 	read_sysreg_case(SYS_ID_PFR1_EL1);  in __read_sysreg_by_encoding()
758 	read_sysreg_case(SYS_ID_DFR0_EL1);  in __read_sysreg_by_encoding()
759 	read_sysreg_case(SYS_ID_MMFR0_EL1);  in __read_sysreg_by_encoding()
760 	read_sysreg_case(SYS_ID_MMFR1_EL1);  in __read_sysreg_by_encoding()
761 	read_sysreg_case(SYS_ID_MMFR2_EL1);  in __read_sysreg_by_encoding()
762 	read_sysreg_case(SYS_ID_MMFR3_EL1);  in __read_sysreg_by_encoding()
763 	read_sysreg_case(SYS_ID_ISAR0_EL1);  in __read_sysreg_by_encoding()
764 	read_sysreg_case(SYS_ID_ISAR1_EL1);  in __read_sysreg_by_encoding()
765 	read_sysreg_case(SYS_ID_ISAR2_EL1);  in __read_sysreg_by_encoding()
766 	read_sysreg_case(SYS_ID_ISAR3_EL1);  in __read_sysreg_by_encoding()
767 	read_sysreg_case(SYS_ID_ISAR4_EL1);  in __read_sysreg_by_encoding()
768 	read_sysreg_case(SYS_ID_ISAR5_EL1);  in __read_sysreg_by_encoding()
769 	read_sysreg_case(SYS_MVFR0_EL1);  in __read_sysreg_by_encoding()
770 	read_sysreg_case(SYS_MVFR1_EL1);  in __read_sysreg_by_encoding()
771 	read_sysreg_case(SYS_MVFR2_EL1);  in __read_sysreg_by_encoding()
773 	read_sysreg_case(SYS_ID_AA64PFR0_EL1);  in __read_sysreg_by_encoding()
774 	read_sysreg_case(SYS_ID_AA64PFR1_EL1);  in __read_sysreg_by_encoding()
775 	read_sysreg_case(SYS_ID_AA64DFR0_EL1);  in __read_sysreg_by_encoding()
776 	read_sysreg_case(SYS_ID_AA64DFR1_EL1);  in __read_sysreg_by_encoding()
777 	read_sysreg_case(SYS_ID_AA64MMFR0_EL1);  in __read_sysreg_by_encoding()
778 	read_sysreg_case(SYS_ID_AA64MMFR1_EL1);  in __read_sysreg_by_encoding()
779 	read_sysreg_case(SYS_ID_AA64MMFR2_EL1);  in __read_sysreg_by_encoding()
780 	read_sysreg_case(SYS_ID_AA64ISAR0_EL1);  in __read_sysreg_by_encoding()
781 	read_sysreg_case(SYS_ID_AA64ISAR1_EL1);  in __read_sysreg_by_encoding()
783 	read_sysreg_case(SYS_CNTFRQ_EL0);  in __read_sysreg_by_encoding()
784 	read_sysreg_case(SYS_CTR_EL0);  in __read_sysreg_by_encoding()
785 	read_sysreg_case(SYS_DCZID_EL0);  in __read_sysreg_by_encoding()