OP_TLBI_RVAALE1
#define OP_TLBI_RVAALE1 sys_insn(1, 0, 8, 6, 7)
SR_FGT(OP_TLBI_RVAALE1, HFGITR, TLBIRVAALE1, 1),
SR_TRAP(OP_TLBI_RVAALE1, CGT_HCR_TTLB),
#define OP_TLBI_RVAALE1 sys_insn(1, 0, 8, 6, 7)