Symbol: bootinit
sys/arch/pmax/stand/common/common.h
40
int bootinit(const char *);
sys/arch/pmax/stand/common/rz.c
135
i = bootinit (device);