ID_AA64AFR0_EL1 = 0x0
ID_AA64AFR1_EL1 = 0x0
ID_AA64DFR0_EL1 = 0x10305f09
ID_AA64DFR1_EL1 = 0x0
ID_AA64ISAR0_EL1 = 0x221100110212120
ID_AA64ISAR1_EL1 = 0x10111110211402
ID_AA64ISAR2_EL1 = 0x0
ID_AA64MMFR0_EL1 = 0x110012120f100001
ID_AA64MMFR1_EL1 = 0x1111212100
ID_AA64MMFR2_EL1 = 0x1201111102001011
ID_AA64PFR0_EL1 = 0x1101000010110111
ID_AA64PFR1_EL1 = 0x21
ID_AA64ZFR0_EL1 = 0x0