#include "aa64_asm.h"
-#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)
#define sys_a0(op) \
- ({ asm ("sys " stringify(op)); })
+ ({ asm ("sys " op); })
#define sys_a1(op, xt) \
- ({ asm ("sys " stringify(op) ", %0" :: "r"(xt)); })
+ ({ asm ("sys " op ", %0" :: "r"(xt)); })
#define sysl(op) \
({ unsigned long _x; \
- asm ("sysl %0, " stringify(op):"=r"(_x)); \
+ asm ("sysl %0, " op :"=r"(_x)); \
_x; \
})