r31 74 boot/arch/ppc32/include/arch/regname.h #define r31 31 r31 80 kernel/arch/ppc32/include/arch/asm/regname.h #define r31 31 r31 80 uspace/lib/c/arch/ppc32/include/libarch/regname.h #define r31 31