OP_TLBI_VAE1
#define OP_TLBI_VAE1 sys_insn(1, 0, 8, 7, 1)
SR_FGT(OP_TLBI_VAE1, HFGITR, TLBIVAE1, 1),
SR_TRAP(OP_TLBI_VAE1, CGT_HCR_TTLB),