OP_TLBI_VALE1OSNXS
#define OP_TLBI_VALE1OSNXS sys_insn(1, 0, 9, 1, 5)
SR_FGF(OP_TLBI_VALE1OSNXS, HFGITR, TLBIVALE1OS, 1, HCRX_FGTnXS),
SR_TRAP(OP_TLBI_VALE1OSNXS, CGT_HCR_TTLB_TTLBOS),
#define OP_TLBI_VALE1OSNXS sys_insn(1, 0, 9, 1, 5)