Symbol: cpuname_printf
sys/arch/hpcmips/include/cpu.h
5
int cpuname_printf(const char *, ...) __printflike(1, 2);
sys/arch/hpcmips/tx/tx39.c
123
cpuname_printf("Unknown TOSHIBA TX39-series %x", model);
sys/arch/hpcmips/tx/tx39.c
128
cpuname_printf("TOSHIBA TMPR3912 %d.%02d MHz",
sys/arch/hpcmips/tx/tx39.c
136
cpuname_printf("TOSHIBA TMPR3922 rev. %x.%x "
sys/arch/hpcmips/vr/vr.c
306
cpuname_printf("NEC %s rev%d.%d %d.%03dMHz",
sys/arch/hpcmips/vr/vr.c
313
cpuname_printf("NEC VR41xx");