Symbol: pbsdboot
sys/arch/hpcmips/stand/pbsdboot/main.c
1213
pbsdboot(wkernel_name, argc, argv, &bi);
sys/arch/hpcmips/stand/pbsdboot/pbsdboot.h
152
int pbsdboot(TCHAR*, int argc, char *argv[], struct bootinfo *bi);