OP_TLBI_RVAE1OSNXS
#define OP_TLBI_RVAE1OSNXS sys_insn(1, 0, 9, 5, 1)
SR_FGF(OP_TLBI_RVAE1OSNXS, HFGITR, TLBIRVAE1OS, 1, HCRX_FGTnXS),
SR_TRAP(OP_TLBI_RVAE1OSNXS, CGT_HCR_TTLB_TTLBOS),
#define OP_TLBI_RVAE1OSNXS sys_insn(1, 0, 9, 5, 1)