dbat0l 201 boot/arch/ppc32/include/arch/regname.h #define dbat0l 537 dbat0l 207 kernel/arch/ppc32/include/arch/asm/regname.h #define dbat0l 537