HomeSort by: relevance | last modified time | path
    Searched refs:bios_board_init (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/evbppc/include/
century_bios.h 43 void bios_board_init(void *info_block, u_int startkernel);
  /src/sys/arch/evbppc/obs405/dev/
century_bios.c 63 bios_board_init(void *info_block, u_int sysclk_base) function in typeref:typename:void
  /src/sys/arch/evbppc/obs405/
obs200_machdep.c 134 bios_board_init(info_block, startkernel);

Completed in 13 milliseconds