initppc
initppc(u_int startkernel, u_int endkernel)
initppc(u_long startkernel, u_long endkernel, u_int args, void *btinfo)
initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block)
initppc(u_int startkernel, u_int endkernel, u_int args, void *btinfo)
initppc(vaddr_t startkernel, vaddr_t endkernel)
initppc(vaddr_t startkernel, vaddr_t endkernel,
initppc(u_int startkernel, u_int endkernel, u_int args, void *btinfo)
initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block)
initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block)
initppc(vaddr_t startkernel, vaddr_t endkernel, int argc, char *argv[],
initppc(u_int startkernel, u_int endkernel, u_int args, void *btinfo)
initppc(vaddr_t startkernel, vaddr_t endkernel, paddr_t fdt_pa,
initppc(vaddr_t startkernel, vaddr_t endkernel)
initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block)
initppc(u_long startkernel, u_long endkernel, u_int args, void *btinfo)
initppc(u_int startkernel, u_int endkernel, char *args)
initppc(u_long startkernel, u_long endkernel, void *btinfo)
initppc(u_int startkernel, u_int endkernel, char *args)
initppc(u_long startkernel, u_long endkernel, u_int args, void *btinfo)
initppc(u_long startkernel, u_long endkernel, u_int args, void *btinfo)
initppc(u_int startkernel, u_int endkernel, u_int args, void *btinfo)