read_gc0_config4 1975 arch/mips/kvm/vz.c 		*v = read_gc0_config4();
read_gc0_config4 2234 arch/mips/kvm/vz.c 		cur = read_gc0_config4();
read_gc0_config4 2725 arch/mips/kvm/vz.c 		config4 = read_gc0_config4();