_read_32bit_cp1_register 2304 arch/mips/include/asm/mipsregs.h 	_read_32bit_cp1_register(source, .set hardfloat)
_read_32bit_cp1_register 2309 arch/mips/include/asm/mipsregs.h 	_read_32bit_cp1_register(source, )