1 /* system services puts()
3 * This is here because gcc converts printf() calls without actual formatting
4 * in the format string, to puts() calls. While that "feature" can be disabled
5 * with the -fno-builtin-printf gcc flag, we still don't want the resulting
6 * mayhem to occur in system servers even when that flag is forgotten.
11 /* puts() uses kputc() to print characters. */
14 int puts(const char *s
)