_write_32bit_cp1_register 2306 arch/mips/include/asm/mipsregs.h _write_32bit_cp1_register(dest, val, .set hardfloat) _write_32bit_cp1_register 2311 arch/mips/include/asm/mipsregs.h _write_32bit_cp1_register(dest, val, )