taglinefilesource code
puts53arch/alpha/boot/main.cwritten = puts(str, remaining);
puts115arch/i386/boot/compressed/misc.cstatic void puts(const char *);
puts262arch/i386/boot/compressed/misc.cputs("\n\n");
puts263arch/i386/boot/compressed/misc.cputs(x);
puts264arch/i386/boot/compressed/misc.cputs("\n\n -- System halted");
puts298arch/i386/boot/compressed/misc.cputs("Uncompressing Linux...");
puts300arch/i386/boot/compressed/misc.cputs("done.\n");
puts323arch/i386/boot/compressed/misc.cputs("Uncompressing Linux...");
puts325arch/i386/boot/compressed/misc.cputs("done.\nNow booting the kernel\n");