MIPS_CPU_RIXIEX
#define cpu_has_rixiex __isa_ge_or_opt(6, MIPS_CPU_RIXIEX)
c->options |= MIPS_CPU_RIXIEX;