OP_TLBI_RVAE1ISNXS
#define OP_TLBI_RVAE1ISNXS sys_insn(1, 0, 9, 2, 1)
SR_FGF(OP_TLBI_RVAE1ISNXS, HFGITR, TLBIRVAE1IS, 1, HCRX_FGTnXS),
SR_TRAP(OP_TLBI_RVAE1ISNXS, CGT_HCR_TTLB_TTLBIS),
#define OP_TLBI_RVAE1ISNXS sys_insn(1, 0, 9, 2, 1)