___read_32bit_c0_register 1389 arch/mips/include/asm/mipsregs.h 	___read_32bit_c0_register(source, sel, __volatile__)
___read_32bit_c0_register 1392 arch/mips/include/asm/mipsregs.h 	___read_32bit_c0_register(source, sel,)