read_32bit_cp1_register 2303 arch/mips/include/asm/mipsregs.h #define read_32bit_cp1_register(source)					\
read_32bit_cp1_register 2308 arch/mips/include/asm/mipsregs.h #define read_32bit_cp1_register(source)					\