MIPS_CPU_TLBINV
#define cpu_has_tlbinv __opt(MIPS_CPU_TLBINV)
c->options |= MIPS_CPU_FTLB | MIPS_CPU_TLBINV | MIPS_CPU_LDPTE;
c->options |= MIPS_CPU_TLBINV;