OP_TLBI_VALE2OSNXS
#define OP_TLBI_VALE2OSNXS sys_insn(1, 4, 9, 1, 5)
SR_TRAP(OP_TLBI_VALE2OSNXS, CGT_HCR_NV),