t4 44 boot/arch/mips32/include/arch/regname.h #define t4 12 t4 50 kernel/arch/mips32/include/arch/asm/regname.h #define t4 12 t4 50 uspace/lib/c/arch/mips32/include/libarch/regname.h #define t4 12