redboot.h   13 arch/powerpc/boot/redboot-83xx.c #include "redboot.h"
redboot.h   12 arch/powerpc/boot/redboot-8xx.c #include "redboot.h"