kvm_write_sw_gc0_ebase 2637 arch/mips/kvm/vz.c 	kvm_write_sw_gc0_ebase(cop0, kvm_vz_read_gc0_ebase());
kvm_write_sw_gc0_ebase 2999 arch/mips/kvm/vz.c 	kvm_write_sw_gc0_ebase(cop0, (s32)0x80000000 | vcpu->vcpu_id);