write_c0_guestctl0
write_c0_guestctl0(guestctl0);
write_c0_guestctl0(guestctl0 | MIPS_GCTL0_DRG);
write_c0_guestctl0(MIPS_GCTL0_CP0 |
write_c0_guestctl0(gctl0 | MIPS_GCTL0_GT);
write_c0_guestctl0(gctl0 & ~MIPS_GCTL0_GT);
write_c0_guestctl0(gctl0 & ~MIPS_GCTL0_GT);