tag	line	file	source code
puts	33	arch/alpha/boot/main.c	puts(buf,i);
puts	82	arch/i386/boot/compressed/misc.c	static void puts(const char *);
puts	111	arch/i386/boot/compressed/misc.c	puts("large kernel, low 1M tight...");
puts	300	arch/i386/boot/compressed/misc.c	puts("\n\n");
puts	301	arch/i386/boot/compressed/misc.c	puts(x);
puts	302	arch/i386/boot/compressed/misc.c	puts("\n\n -- System halted");
puts	339	arch/i386/boot/compressed/misc.c	puts("Uncompressing Linux...");
puts	345	arch/i386/boot/compressed/misc.c	puts("done.\n");
puts	347	arch/i386/boot/compressed/misc.c	puts("Now booting the kernel\n");