Symbol: _set_default_pref
sys/arch/hpc/stand/hpcboot/hpcmenu.cpp
67
_set_default_pref();
sys/arch/hpc/stand/hpcboot/hpcmenu.h
143
void _set_default_pref(void);