taglinefilesource code
get_cpuinfo124arch/alpha/kernel/setup.cint get_cpuinfo(char *buffer)
get_cpuinfo155arch/i386/kernel/setup.cint get_cpuinfo(char * buffer)