write_gc0_config4 2238 arch/mips/kvm/vz.c 			write_gc0_config4(v);
write_gc0_config4 2737 arch/mips/kvm/vz.c 		write_gc0_config4(config4);