void cpu_reboot(int howto, char *bootstr) { /* Just call OFW common routine. */ ofw_boot(howto, bootstr); OF_boot("not reached -- stupid compiler"); }
void ppc_boot(char *str) { OF_boot(str); }