OP_TLBI_RVALE1IS
#define OP_TLBI_RVALE1IS sys_insn(1, 0, 8, 2, 5)
SR_FGT(OP_TLBI_RVALE1IS, HFGITR, TLBIRVALE1IS, 1),
SR_TRAP(OP_TLBI_RVALE1IS, CGT_HCR_TTLB_TTLBIS),
#define OP_TLBI_RVALE1IS sys_insn(1, 0, 8, 2, 5)