r13 56 boot/arch/ppc32/include/arch/regname.h #define r13 13 r13 62 kernel/arch/ppc32/include/arch/asm/regname.h #define r13 13 r13 62 uspace/lib/c/arch/ppc32/include/libarch/regname.h #define r13 13