Searched refs:printcpuinfo (Results 1 – 2 of 2) sorted by relevance
62 void printcpuinfo(void);111 printcpuinfo(void) in printcpuinfo() function
133 extern void printcpuinfo(void); /* XXX header file */341 printcpuinfo(); in cpu_startup()