tag	line	file	source code
get_cpuinfo	718	fs/proc/array.c	extern int get_cpuinfo(char *);
get_cpuinfo	739	fs/proc/array.c	return get_cpuinfo(page);