read_gc0_intctl  1932 arch/mips/kvm/vz.c 		*v = read_gc0_intctl();
read_gc0_intctl  2994 arch/mips/kvm/vz.c 	kvm_write_sw_gc0_intctl(cop0, read_gc0_intctl() &