kvm_vz_read_gc0_ebase 1952 arch/mips/kvm/vz.c 		*v = kvm_vz_read_gc0_ebase();
kvm_vz_read_gc0_ebase 2637 arch/mips/kvm/vz.c 	kvm_write_sw_gc0_ebase(cop0, kvm_vz_read_gc0_ebase());