initppc
void initppc(u_int, u_int);
void initppc(u_long, u_long, u_int, void *);
void initppc(vaddr_t, vaddr_t, char *, void *);
void initppc(u_int, u_int, u_int, void *); /* Called from locore */
void initppc(vaddr_t, vaddr_t);
void initppc(vaddr_t, vaddr_t, void *, void *, char *, char *);
void initppc(u_int, u_int, u_int, void *); /* Called from locore */
void initppc(vaddr_t, vaddr_t, char *, void *);
void initppc(vaddr_t, vaddr_t, char *, void *);
void initppc(vaddr_t, vaddr_t, int, char *[], char *);
void initppc(u_int, u_int, u_int, void *); /* Called from locore */
void initppc(vaddr_t, vaddr_t, paddr_t, uint32_t);
void initppc(vaddr_t, vaddr_t);
void initppc(vaddr_t, vaddr_t, char *, void *);
void initppc(u_long, u_long, u_int, void *);
void initppc(u_int, u_int, char *);
void initppc(u_long, u_long, void *);
void initppc(u_int, u_int, char *);
void initppc(u_long, u_long, u_int, void *);
void initppc(u_long, u_long, u_int, void *);
void initppc(u_int, u_int, u_int, void *);