OP_TLBI_VMALLE1ISNXS
#define OP_TLBI_VMALLE1ISNXS sys_insn(1, 0, 9, 3, 0)
SR_FGF(OP_TLBI_VMALLE1ISNXS, HFGITR, TLBIVMALLE1IS, 1, HCRX_FGTnXS),
SR_TRAP(OP_TLBI_VMALLE1ISNXS, CGT_HCR_TTLB_TTLBIS),
#define OP_TLBI_VMALLE1ISNXS sys_insn(1, 0, 9, 3, 0)