OP_TLBI_VAE2OSNXS
#define OP_TLBI_VAE2OSNXS sys_insn(1, 4, 9, 1, 1)
SR_TRAP(OP_TLBI_VAE2OSNXS, CGT_HCR_NV),