+#define ICC_IAR0_EL1 sys_reg(3, 0, 12, 8, 0)
+#define ICC_EOIR0_EL1 sys_reg(3, 0, 12, 8, 1)
+#define ICC_HPPIR0_EL1 sys_reg(3, 0, 12, 8, 2)
+#define ICC_BPR0_EL1 sys_reg(3, 0, 12, 8, 3)
+#define ICC_AP0Rn_EL1(n) sys_reg(3, 0, 12, 8, 4 | n)
+#define ICC_AP1Rn_EL1(n) sys_reg(3, 0, 12, 9, n)