write_32bit_cp1_register 2305 arch/mips/include/asm/mipsregs.h #define write_32bit_cp1_register(dest, val)				\
write_32bit_cp1_register 2310 arch/mips/include/asm/mipsregs.h #define write_32bit_cp1_register(dest, val)				\