ptrace_setfcr31   400 arch/mips/kernel/ptrace.c 	ptrace_setfcr31(child, value);
ptrace_setfcr31   566 arch/mips/kernel/ptrace.c 		ptrace_setfcr31(target, fcr31);
ptrace_setfcr31  1317 arch/mips/kernel/ptrace.c 			ptrace_setfcr31(child, data);