write_gc0_intctl 1299 arch/mips/kvm/vz.c 			write_gc0_intctl(val);
write_gc0_intctl 2155 arch/mips/kvm/vz.c 		write_gc0_intctl(v);