___read_64bit_c0_register 1395 arch/mips/include/asm/mipsregs.h ___read_64bit_c0_register(source, sel, __volatile__) ___read_64bit_c0_register 1398 arch/mips/include/asm/mipsregs.h ___read_64bit_c0_register(source, sel,)