MIPS_CPU_MMID
# define cpu_has_mmid __isa_ge_and_opt(6, MIPS_CPU_MMID)
c->options &= ~MIPS_CPU_MMID;
c->options |= MIPS_CPU_MMID;