tag	line	file	source code
get_device_list	957	fs/proc/array.c	extern int get_device_list(char *);
get_device_list	1009	fs/proc/array.c	return get_device_list(page);