tag	line	file	source code
linux_banner	268	fs/proc/array.c	extern char *linux_banner;
linux_banner	270	fs/proc/array.c	strcpy(buffer, linux_banner);
linux_banner	34	init/main.c	extern char *linux_banner;
linux_banner	415	init/main.c	printk(linux_banner);
linux_banner	18	init/version.c	char *linux_banner =