Symbol: set_system_info
sys/arch/hpcmips/stand/pbsdboot/main.c
1209
if (set_system_info(&platid)) {
sys/arch/hpcmips/stand/pbsdboot/pbsdboot.h
187
int set_system_info(platid_t* platid);