OP_TLBI_RVALE1OSNXS
#define OP_TLBI_RVALE1OSNXS sys_insn(1, 0, 9, 5, 5)
SR_FGF(OP_TLBI_RVALE1OSNXS, HFGITR, TLBIRVALE1OS, 1, HCRX_FGTnXS),
SR_TRAP(OP_TLBI_RVALE1OSNXS, CGT_HCR_TTLB_TTLBOS),
#define OP_TLBI_RVALE1OSNXS sys_insn(1, 0, 9, 5, 5)