tag	line	file	source code
get_cpuinfo	120	arch/alpha/kernel/setup.c	int get_cpuinfo(char *buffer)
get_cpuinfo	137	arch/i386/kernel/setup.c	int get_cpuinfo(char * buffer)