Home
last modified time | relevance | path

Searched refs:platform_default (Results 1 – 3 of 3) sorted by relevance

/netbsd/src/sys/arch/hpc/stand/hpcboot/
Dhpcmenu.h195 int platform_default(void) { in platform_default() function
Dhpcboot.cpp125 HPC_MENU.platform_get(HPC_MENU.platform_default()), in hpcboot()
/netbsd/src/sys/arch/hpc/stand/hpcboot/menu/
Dmenu.cpp178 menu.platform_default(), 0); in _sort_platids()
190 int defid = menu.platform_default(); in _sort_platids()