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

  /src/sys/arch/hpc/stand/hpcboot/
hpcmenu.h 199 void platform_set(int n) { _platform(n, _PLATFORM_OP_SET); } function in class:HpcMenuInterface
  /src/sys/arch/hpc/stand/hpcboot/menu/
menu.cpp 265 menu.platform_set(_item_to_platid(i));

Completed in 13 milliseconds