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