-#define tlbi_alle1 __sr_encode(1, 4, 8, 7, 4)
-#define tlbi_aside1 __sr_encode(1, 0, 8, 7, 2)
-#define tlbi_rvaae1 __sr_encode(1, 0, 8, 6, 3)
-#define tlbi_rvae1 __sr_encode(1, 0, 8, 6, 1)
-#define tlbi_vaae1 __sr_encode(1, 0, 8, 7, 3)
-#define tlbi_vae1 __sr_encode(1, 0, 8, 7, 1)
+#define tlbi_alle1 __sysop_encode(4, 8, 7, 4)
+#define tlbi_aside1 __sysop_encode(0, 8, 7, 2)
+#define tlbi_rvaae1 __sysop_encode(0, 8, 6, 3)
+#define tlbi_rvae1 __sysop_encode(0, 8, 6, 1)
+#define tlbi_vaae1 __sysop_encode(0, 8, 7, 3)
+#define tlbi_vae1 __sysop_encode(0, 8, 7, 1)