Symbol: _item_to_platid
sys/arch/hpc/stand/hpcboot/menu/menu.cpp
265
menu.platform_set(_item_to_platid(i));
sys/arch/hpc/stand/hpcboot/menu/menu.h
45
int _item_to_platid(int idx);