tag	line	file	source code
puts	53	arch/alpha/boot/main.c	written = puts(str, remaining);
puts	115	arch/i386/boot/compressed/misc.c	static void puts(const char *);
puts	262	arch/i386/boot/compressed/misc.c	puts("\n\n");
puts	263	arch/i386/boot/compressed/misc.c	puts(x);
puts	264	arch/i386/boot/compressed/misc.c	puts("\n\n -- System halted");
puts	298	arch/i386/boot/compressed/misc.c	puts("Uncompressing Linux...");
puts	300	arch/i386/boot/compressed/misc.c	puts("done.\n");
puts	323	arch/i386/boot/compressed/misc.c	puts("Uncompressing Linux...");
puts	325	arch/i386/boot/compressed/misc.c	puts("done.\nNow booting the kernel\n");