Searched defs:info_block (Results 1 - 6 of 6) sorted by relevance
| /src/sys/arch/evbppc/obs405/dev/ |
| H A D | century_bios.c | 63 bios_board_init(void *info_block, u_int sysclk_base) argument
|
| /src/sys/arch/evbppc/walnut/ |
| H A D | machdep.c | 102 initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block) argument
|
| /src/sys/arch/powerpc/ibm4xx/openbios/ |
| H A D | openbios.c | 64 openbios_board_init(void *info_block) argument
|
| /src/sys/arch/evbppc/obs405/ |
| H A D | obs200_machdep.c | 121 initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block) argument
|
| H A D | obs266_machdep.c | 121 initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block) argument
|
| /src/sys/arch/evbppc/dht/ |
| H A D | machdep.c | 165 initppc(vaddr_t startkernel, vaddr_t endkernel, char *args, void *info_block) argument
|
Completed in 4 milliseconds