Symbol: bootmini
sys/arch/hp300/stand/inst/inst.c
103
{ "boot", "boot from miniroot", bootmini },
sys/arch/hp300/stand/inst/inst.c
86
void bootmini(void);