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