OP_TLBI_RVALE1ISNXS
#define OP_TLBI_RVALE1ISNXS sys_insn(1, 0, 9, 2, 5)
SR_FGF(OP_TLBI_RVALE1ISNXS, HFGITR, TLBIRVALE1IS, 1, HCRX_FGTnXS),
SR_TRAP(OP_TLBI_RVALE1ISNXS, CGT_HCR_TTLB_TTLBIS),
#define OP_TLBI_RVALE1ISNXS sys_insn(1, 0, 9, 2, 5)