MIPS_CPU_GUESTCTL2
#define cpu_has_guestctl2 __opt(MIPS_CPU_GUESTCTL2)
c->options |= MIPS_CPU_GUESTCTL2;