Symbol: BootKernel
sys/arch/hpcmips/stand/pbsdboot/main.c
1309
BootKernel(1);
sys/arch/hpcmips/stand/pbsdboot/main.c
1316
BootKernel(0);