taglinefilesource code
puts178arch/i386/boot/compressed/misc.cstatic void puts(const char *s)
puts45include/asm-alpha/console.h#define puts(x,l) dispatch(CCB_PUTS,0,x,l)