OP_TLBI_RVAE1NXS
#define OP_TLBI_RVAE1NXS sys_insn(1, 0, 9, 6, 1)
SR_FGF(OP_TLBI_RVAE1NXS, HFGITR, TLBIRVAE1, 1, HCRX_FGTnXS),
SR_TRAP(OP_TLBI_RVAE1NXS, CGT_HCR_TTLB),
#define OP_TLBI_RVAE1NXS sys_insn(1, 0, 9, 6, 1)