OP_TLBI_RVALE1OS
#define OP_TLBI_RVALE1OS sys_insn(1, 0, 8, 5, 5)
SR_FGT(OP_TLBI_RVALE1OS, HFGITR, TLBIRVALE1OS, 1),
SR_TRAP(OP_TLBI_RVALE1OS, CGT_HCR_TTLB_TTLBOS),
#define OP_TLBI_RVALE1OS sys_insn(1, 0, 8, 5, 5)