tag	line	file	source code
get_irq_list	959	fs/proc/array.c	extern int get_irq_list(char *);
get_irq_list	1012	fs/proc/array.c	return get_irq_list(page);