ppc_boot
void ppc_boot(char *bootspec) __attribute__((__noreturn__));
void ppc_boot(char *bootspec) __attribute__((__noreturn__));
void ppc_boot(char *bootspec) __attribute__((__noreturn__));
void ppc_boot(char *bootspec) __attribute__((__noreturn__));
void ppc_boot(char *bootspec) __attribute__((__noreturn__));
ppc_boot(str);
void ppc_boot(char *) __attribute__((__noreturn__));
void ppc_boot(char *) __attribute__((__noreturn__));
void ppc_boot(char *bootspec) __attribute__((__noreturn__));