HomeSort by: relevance | last modified time | path
    Searched refs:cpuname_printf (Results 1 - 4 of 4) sorted by relevancy

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

Completed in 14 milliseconds