Searched refs:platform_default (Results 1 – 3 of 3) sorted by relevance
195 int platform_default(void) { in platform_default() function
125 HPC_MENU.platform_get(HPC_MENU.platform_default()), in hpcboot()
178 menu.platform_default(), 0); in _sort_platids()190 int defid = menu.platform_default(); in _sort_platids()