| /src/sys/arch/evbppc/walnut/ |
| machdep.c | 99 void initppc(vaddr_t, vaddr_t, char *, void *);
102 initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block) function in typeref:typename:void
|
| /src/sys/arch/evbppc/explora/ |
| machdep.c | 58 void initppc(vaddr_t, vaddr_t);
61 initppc(vaddr_t startkernel, vaddr_t endkernel) function in typeref:typename:void
|
| /src/sys/arch/evbppc/virtex/ |
| machdep.c | 90 void initppc(vaddr_t, vaddr_t);
104 initppc(vaddr_t startkernel, vaddr_t endkernel) function in typeref:typename:void
|
| /src/sys/arch/evbppc/obs405/ |
| obs200_machdep.c | 118 void initppc(vaddr_t, vaddr_t, char *, void *);
121 initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block) function in typeref:typename:void
|
| obs266_machdep.c | 118 void initppc(vaddr_t, vaddr_t, char *, void *);
121 initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block) function in typeref:typename:void
|
| obs600_machdep.c | 124 void initppc(vaddr_t, vaddr_t, int, char *[], char *);
129 initppc(vaddr_t startkernel, vaddr_t endkernel, int argc, char *argv[], function in typeref:typename:void
|
| /src/sys/arch/ibmnws/ibmnws/ |
| machdep.c | 75 void initppc(u_long, u_long, u_int, void *);
88 initppc(u_long startkernel, u_long endkernel, u_int args, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/mvmeppc/mvmeppc/ |
| machdep.c | 96 void initppc(u_long, u_long, void *);
109 initppc(u_long startkernel, u_long endkernel, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/evbppc/dht/ |
| machdep.c | 135 void initppc(vaddr_t, vaddr_t, char *, void *);
165 initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block) function in typeref:typename:void
|
| /src/sys/arch/bebox/bebox/ |
| machdep.c | 99 void initppc(u_long, u_long, u_int, void *);
106 initppc(u_long startkernel, u_long endkernel, u_int args, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/evbppc/pmppc/ |
| machdep.c | 158 void initppc(u_int, u_int, u_int, void *); /* Called from locore */
163 initppc(u_int startkernel, u_int endkernel, u_int args, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/evbppc/wii/ |
| machdep.c | 228 void initppc(u_int, u_int, u_int, void *); /* Called from locore */
235 initppc(u_int startkernel, u_int endkernel, u_int args, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/rs6000/rs6000/ |
| machdep.c | 90 void initppc(u_long, u_long, u_int, void *);
203 initppc(u_long startkernel, u_long endkernel, u_int args, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/evbppc/ev64260/ |
| machdep.c | 103 void initppc(u_int, u_int, u_int, void *); /* Called from locore */
198 initppc(u_int startkernel, u_int endkernel, u_int args, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/prep/prep/ |
| machdep.c | 88 void initppc(u_long, u_long, u_int, void *);
114 initppc(u_long startkernel, u_long endkernel, u_int args, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/amigappc/amigappc/ |
| machdep.c | 494 initppc(u_int startkernel, u_int endkernel) function in typeref:typename:void
526 panic("initppc: no suitable memory segment found");
585 * This is called during initppc, before the system is really initialized.
|
| /src/sys/arch/ofppc/ofppc/ |
| machdep.c | 128 initppc(u_int startkernel, u_int endkernel, char *args) function in typeref:typename:void
189 /* perform model-specific actions at initppc() */
|
| /src/sys/arch/macppc/macppc/ |
| machdep.c | 127 initppc(u_int startkernel, u_int endkernel, char *args) function in typeref:typename:void
|
| /src/sys/arch/sandpoint/sandpoint/ |
| machdep.c | 100 void initppc(u_int, u_int, u_int, void *);
121 initppc(u_int startkernel, u_int endkernel, u_int args, void *btinfo) function in typeref:typename:void
|
| /src/sys/arch/evbppc/mpc85xx/ |
| machdep.c | 124 void initppc(vaddr_t, vaddr_t, void *, void *, char *, char *);
1127 initppc(vaddr_t startkernel, vaddr_t endkernel, function in typeref:typename:void
1134 printf(" initppc(%#"PRIxVADDR", %#"PRIxVADDR", %p, %p, %p, %p)<enter>",
1304 printf(" initppc done!\n");
|
