.*: d538caa0 mrs x0, icc_iaffidr_el1
.*: d538ca40 mrs x0, icc_idr0_el1
.*: d5380440 mrs x0, id_aa64pfr2_el1
+.*: d518cd00 msr icc_ppi_cactiver0_el1, x0
+.*: d538cd00 mrs x0, icc_ppi_cactiver0_el1
+.*: d518cd20 msr icc_ppi_cactiver1_el1, x0
+.*: d538cd20 mrs x0, icc_ppi_cactiver1_el1
+.*: d518cd80 msr icc_ppi_cpendr0_el1, x0
+.*: d538cd80 mrs x0, icc_ppi_cpendr0_el1
+.*: d518cda0 msr icc_ppi_cpendr1_el1, x0
+.*: d538cda0 mrs x0, icc_ppi_cpendr1_el1
+.*: d51ec880 msr icc_ppi_domainr0_el3, x0
+.*: d53ec880 mrs x0, icc_ppi_domainr0_el3
+.*: d51ec8a0 msr icc_ppi_domainr1_el3, x0
+.*: d53ec8a0 mrs x0, icc_ppi_domainr1_el3
+.*: d51ec8c0 msr icc_ppi_domainr2_el3, x0
+.*: d53ec8c0 mrs x0, icc_ppi_domainr2_el3
+.*: d51ec8e0 msr icc_ppi_domainr3_el3, x0
+.*: d53ec8e0 mrs x0, icc_ppi_domainr3_el3
+.*: d518cac0 msr icc_ppi_enabler0_el1, x0
+.*: d538cac0 mrs x0, icc_ppi_enabler0_el1
+.*: d518cae0 msr icc_ppi_enabler1_el1, x0
+.*: d538cae0 mrs x0, icc_ppi_enabler1_el1
+.*: d538ca00 mrs x0, icc_ppi_hmr0_el1
+.*: d538ca20 mrs x0, icc_ppi_hmr1_el1
+.*: d518ce00 msr icc_ppi_priorityr0_el1, x0
+.*: d538ce00 mrs x0, icc_ppi_priorityr0_el1
+.*: d518ce20 msr icc_ppi_priorityr1_el1, x0
+.*: d538ce20 mrs x0, icc_ppi_priorityr1_el1
+.*: d518ce40 msr icc_ppi_priorityr2_el1, x0
+.*: d538ce40 mrs x0, icc_ppi_priorityr2_el1
+.*: d518ce60 msr icc_ppi_priorityr3_el1, x0
+.*: d538ce60 mrs x0, icc_ppi_priorityr3_el1
+.*: d518ce80 msr icc_ppi_priorityr4_el1, x0
+.*: d538ce80 mrs x0, icc_ppi_priorityr4_el1
+.*: d518cea0 msr icc_ppi_priorityr5_el1, x0
+.*: d538cea0 mrs x0, icc_ppi_priorityr5_el1
+.*: d518cec0 msr icc_ppi_priorityr6_el1, x0
+.*: d538cec0 mrs x0, icc_ppi_priorityr6_el1
+.*: d518cee0 msr icc_ppi_priorityr7_el1, x0
+.*: d538cee0 mrs x0, icc_ppi_priorityr7_el1
+.*: d518cf00 msr icc_ppi_priorityr8_el1, x0
+.*: d538cf00 mrs x0, icc_ppi_priorityr8_el1
+.*: d518cf20 msr icc_ppi_priorityr9_el1, x0
+.*: d538cf20 mrs x0, icc_ppi_priorityr9_el1
+.*: d518cf40 msr icc_ppi_priorityr10_el1, x0
+.*: d538cf40 mrs x0, icc_ppi_priorityr10_el1
+.*: d518cf60 msr icc_ppi_priorityr11_el1, x0
+.*: d538cf60 mrs x0, icc_ppi_priorityr11_el1
+.*: d518cf80 msr icc_ppi_priorityr12_el1, x0
+.*: d538cf80 mrs x0, icc_ppi_priorityr12_el1
+.*: d518cfa0 msr icc_ppi_priorityr13_el1, x0
+.*: d538cfa0 mrs x0, icc_ppi_priorityr13_el1
+.*: d518cfc0 msr icc_ppi_priorityr14_el1, x0
+.*: d538cfc0 mrs x0, icc_ppi_priorityr14_el1
+.*: d518cfe0 msr icc_ppi_priorityr15_el1, x0
+.*: d538cfe0 mrs x0, icc_ppi_priorityr15_el1
+.*: d518cd40 msr icc_ppi_sactiver0_el1, x0
+.*: d538cd40 mrs x0, icc_ppi_sactiver0_el1
+.*: d518cd60 msr icc_ppi_sactiver1_el1, x0
+.*: d538cd60 mrs x0, icc_ppi_sactiver1_el1
+.*: d518cdc0 msr icc_ppi_spendr0_el1, x0
+.*: d538cdc0 mrs x0, icc_ppi_spendr0_el1
+.*: d518cde0 msr icc_ppi_spendr1_el1, x0
+.*: d538cde0 mrs x0, icc_ppi_spendr1_el1
rw_sys_reg icc_iaffidr_el1 w=0
rw_sys_reg icc_idr0_el1 w=0
rw_sys_reg id_aa64pfr2_el1 w=0
+
+ /* PPI registers. */
+
+ rw_sys_reg icc_ppi_cactiver0_el1
+ rw_sys_reg icc_ppi_cactiver1_el1
+ rw_sys_reg icc_ppi_cpendr0_el1
+ rw_sys_reg icc_ppi_cpendr1_el1
+ rw_sys_reg icc_ppi_domainr0_el3
+ rw_sys_reg icc_ppi_domainr1_el3
+ rw_sys_reg icc_ppi_domainr2_el3
+ rw_sys_reg icc_ppi_domainr3_el3
+ rw_sys_reg icc_ppi_enabler0_el1
+ rw_sys_reg icc_ppi_enabler1_el1
+ rw_sys_reg icc_ppi_hmr0_el1 w=0
+ rw_sys_reg icc_ppi_hmr1_el1 w=0
+ rw_sys_reg icc_ppi_priorityr0_el1
+ rw_sys_reg icc_ppi_priorityr1_el1
+ rw_sys_reg icc_ppi_priorityr2_el1
+ rw_sys_reg icc_ppi_priorityr3_el1
+ rw_sys_reg icc_ppi_priorityr4_el1
+ rw_sys_reg icc_ppi_priorityr5_el1
+ rw_sys_reg icc_ppi_priorityr6_el1
+ rw_sys_reg icc_ppi_priorityr7_el1
+ rw_sys_reg icc_ppi_priorityr8_el1
+ rw_sys_reg icc_ppi_priorityr9_el1
+ rw_sys_reg icc_ppi_priorityr10_el1
+ rw_sys_reg icc_ppi_priorityr11_el1
+ rw_sys_reg icc_ppi_priorityr12_el1
+ rw_sys_reg icc_ppi_priorityr13_el1
+ rw_sys_reg icc_ppi_priorityr14_el1
+ rw_sys_reg icc_ppi_priorityr15_el1
+ rw_sys_reg icc_ppi_sactiver0_el1
+ rw_sys_reg icc_ppi_sactiver1_el1
+ rw_sys_reg icc_ppi_spendr0_el1
+ rw_sys_reg icc_ppi_spendr1_el1
SYSREG ("icc_pcr_el1", CPENC (3,1,12,0,2), 0, AARCH64_FEATURE (GCIE))
SYSREG ("icc_pcr_el3", CPENC (3,6,12,8,1), 0, AARCH64_FEATURE (GCIE))
SYSREG ("icc_pmr_el1", CPENC (3,0,4,6,0), 0, AARCH64_NO_FEATURES)
+ SYSREG ("icc_ppi_cactiver0_el1", CPENC (3,0,12,13,0), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_cactiver1_el1", CPENC (3,0,12,13,1), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_cpendr0_el1", CPENC (3,0,12,13,4), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_cpendr1_el1", CPENC (3,0,12,13,5), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_domainr0_el3", CPENC (3,6,12,8,4), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_domainr1_el3", CPENC (3,6,12,8,5), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_domainr2_el3", CPENC (3,6,12,8,6), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_domainr3_el3", CPENC (3,6,12,8,7), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_enabler0_el1", CPENC (3,0,12,10,6), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_enabler1_el1", CPENC (3,0,12,10,7), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_hmr0_el1", CPENC (3,0,12,10,0), F_REG_READ, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_hmr1_el1", CPENC (3,0,12,10,1), F_REG_READ, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr0_el1", CPENC (3,0,12,14,0), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr1_el1", CPENC (3,0,12,14,1), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr2_el1", CPENC (3,0,12,14,2), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr3_el1", CPENC (3,0,12,14,3), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr4_el1", CPENC (3,0,12,14,4), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr5_el1", CPENC (3,0,12,14,5), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr6_el1", CPENC (3,0,12,14,6), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr7_el1", CPENC (3,0,12,14,7), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr8_el1", CPENC (3,0,12,15,0), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr9_el1", CPENC (3,0,12,15,1), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr10_el1", CPENC (3,0,12,15,2), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr11_el1", CPENC (3,0,12,15,3), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr12_el1", CPENC (3,0,12,15,4), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr13_el1", CPENC (3,0,12,15,5), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr14_el1", CPENC (3,0,12,15,6), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_priorityr15_el1", CPENC (3,0,12,15,7), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_sactiver0_el1", CPENC (3,0,12,13,2), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_sactiver1_el1", CPENC (3,0,12,13,3), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_spendr0_el1", CPENC (3,0,12,13,6), 0, AARCH64_FEATURE (GCIE))
+ SYSREG ("icc_ppi_spendr1_el1", CPENC (3,0,12,13,7), 0, AARCH64_FEATURE (GCIE))
SYSREG ("icc_rpr_el1", CPENC (3,0,12,11,3), F_REG_READ, AARCH64_NO_FEATURES)
SYSREG ("icc_sgi0r_el1", CPENC (3,0,12,11,7), F_REG_WRITE, AARCH64_NO_FEATURES)
SYSREG ("icc_sgi1r_el1", CPENC (3,0,12,11,5), F_REG_WRITE, AARCH64_NO_FEATURES)