Symbol: _platform
sys/arch/hpc/stand/hpcboot/hpcmenu.h
149
void *_platform(int, enum _platform_op);
sys/arch/hpc/stand/hpcboot/hpcmenu.h
193
(_platform(n, _PLATFORM_OP_GET));
sys/arch/hpc/stand/hpcboot/hpcmenu.h
197
(_platform(0, _PLATFORM_OP_DEFAULT));
sys/arch/hpc/stand/hpcboot/hpcmenu.h
199
void platform_set(int n) { _platform(n, _PLATFORM_OP_SET); }