Symbol: mips_boot
sys/arch/hpcmips/stand/pbsdboot/pbsdboot.h
147
int mips_boot(void *map);
sys/arch/hpcmips/stand/pbsdboot/tx39xx.c
75
system_info.si_boot = mips_boot;
sys/arch/hpcmips/stand/pbsdboot/vr41xx.c
56
system_info.si_boot = mips_boot;