OP_TLBI_ASIDE1ISNXS
#define OP_TLBI_ASIDE1ISNXS sys_insn(1, 0, 9, 3, 2)
SR_FGF(OP_TLBI_ASIDE1ISNXS, HFGITR, TLBIASIDE1IS, 1, HCRX_FGTnXS),
SR_TRAP(OP_TLBI_ASIDE1ISNXS, CGT_HCR_TTLB_TTLBIS),
#define OP_TLBI_ASIDE1ISNXS sys_insn(1, 0, 9, 3, 2)