MIPS_GCTL0_GT
if (!(gctl0 & MIPS_GCTL0_GT) && kvm_vz_should_use_htimer(vcpu)) {
write_c0_guestctl0(gctl0 | MIPS_GCTL0_GT);
if (gctl0 & MIPS_GCTL0_GT) {
write_c0_guestctl0(gctl0 & ~MIPS_GCTL0_GT);
if (gctl0 & MIPS_GCTL0_GT) {
write_c0_guestctl0(gctl0 & ~MIPS_GCTL0_GT);