Symbol: getmachineid
sys/arch/hp300/stand/common/samachdep.h
84
char *getmachineid(void);
sys/arch/hp300/stand/inst/inst.c
123
printf(">> HP 9000/%s SPU\n", getmachineid());
sys/arch/hp300/stand/uboot/uboot.c
76
printf(">> HP 9000/%s SPU\n", getmachineid());