Searched refs:platform_get (Results 1 – 3 of 3) sorted by relevance
167 for (nids = 0; menu.platform_get(nids); ++nids) in _sort_platids()175 for (i = 0; entry = menu.platform_get(i); i++) in _sort_platids()184 p->name = menu.platform_get(i); in _sort_platids()
191 TCHAR *platform_get(int n) { in platform_get() function
125 HPC_MENU.platform_get(HPC_MENU.platform_default()), in hpcboot()