Symbol: _PLATFORM_OP_SET
sys/arch/hpc/stand/hpcboot/hpcmenu.h
199
void platform_set(int n) { _platform(n, _PLATFORM_OP_SET); }
sys/arch/hpc/stand/hpcboot/menu/platform.cpp
54
case _PLATFORM_OP_SET: