MIPS_CPU_ULRI
#define cpu_has_userlocal __isa_ge_or_opt(6, MIPS_CPU_ULRI)
#define cpu_guest_has_userlocal (cpu_data[0].guest.options & MIPS_CPU_ULRI)
c->options |= MIPS_CPU_ULRI | MIPS_CPU_RIXI;
c->options |= MIPS_CPU_ULRI;
c->guest.options |= MIPS_CPU_ULRI;