MIPS_CPU_GUESTCTL1
#define cpu_has_guestctl1 __opt(MIPS_CPU_GUESTCTL1)
c->options |= MIPS_CPU_GUESTCTL1;