MIPS_CPU_RIXI
#define cpu_has_rixi __isa_ge_or_opt(6, MIPS_CPU_RIXI)
c->options |= MIPS_CPU_RIXI;
c->options |= MIPS_CPU_ULRI | MIPS_CPU_RIXI;
c->options |= MIPS_CPU_RIXI | MIPS_CPU_CTXTC;
c->options |= MIPS_CPU_RIXI;