write_gc0_config5 1318 arch/mips/kvm/vz.c 			write_gc0_config5(val);
write_gc0_config5 2248 arch/mips/kvm/vz.c 			write_gc0_config5(v);