write_gc0_status 1275 arch/mips/kvm/vz.c 			write_gc0_status(val);
write_gc0_status 2152 arch/mips/kvm/vz.c 		write_gc0_status(v);