165 	/* k0/k1 not being used in host kernel context */  in kvm_mips_build_vcpu_run()
344 		/* Guest k0/k1 loaded later */  in kvm_mips_build_enter_guest()
359 	/* Restore the guest's k0/k1 registers */  in kvm_mips_build_enter_guest()
393 	/* Save guest k1 into scratch register */  in kvm_mips_build_tlb_refill_exception()
447 	/* Restore the guest's k0/k1 registers */  in kvm_mips_build_tlb_refill_exception()
479 	/* Save guest k1 into scratch register */  in kvm_mips_build_exception()
526 	 * Both k0/k1 registers will have already been saved (k0 into the vcpu  in kvm_mips_build_exit()
527 	 * structure, and k1 into the scratch_tmp register).  in kvm_mips_build_exit()
529 	 * The k1 register will already contain the kvm_vcpu_arch pointer.  in kvm_mips_build_exit()
534 		/* Guest k0/k1 saved later */  in kvm_mips_build_exit()
549 	/* Finally save guest k1 to VCPU */  in kvm_mips_build_exit()
753 	 * XXXKYMA: k0/k1 could have been blown away if we processed  in kvm_mips_build_ret_from_exit()
755 	 * guest, reload k1  in kvm_mips_build_ret_from_exit()