__readx_32bit_c0_register 1591 arch/mips/include/asm/mipsregs.h #define readx_c0_entrylo0()	__readx_32bit_c0_register($2, 0)
__readx_32bit_c0_register 1597 arch/mips/include/asm/mipsregs.h #define readx_c0_entrylo1()	__readx_32bit_c0_register($3, 0)