tag	line	file	source code
puts	54	arch/alpha/boot/main.c	written = puts(str, remaining);
puts	117	arch/i386/boot/compressed/misc.c	static void puts(const char *);
puts	295	arch/i386/boot/compressed/misc.c	puts("\n\n");
puts	296	arch/i386/boot/compressed/misc.c	puts(x);
puts	297	arch/i386/boot/compressed/misc.c	puts("\n\n -- System halted");
puts	331	arch/i386/boot/compressed/misc.c	puts("Uncompressing Linux...");
puts	333	arch/i386/boot/compressed/misc.c	puts("done.\n");
puts	393	arch/i386/boot/compressed/misc.c	puts("Uncompressing Linux...");
puts	395	arch/i386/boot/compressed/misc.c	puts("done.\nNow booting the kernel\n");