/* Writes string S to the console, followed by a new-line character. */ int puts (const char *s) { acquire_console (); while (*s != '\0') putchar_have_lock (*s++); putchar_have_lock ('\n'); release_console (); return 0; }
/* Helper function for vprintf(). */ static void vprintf_helper (char c, void *char_cnt_) { int *char_cnt = char_cnt_; (*char_cnt)++; putchar_have_lock (c); }
/* Writes C to the video display and serial port. */ int putchar (int c) { acquire_console (); putchar_have_lock (c); release_console (); return c; }
/* Writes the N characters in BUFFER to the console. */ void putbuf (const char *buffer, size_t n) { acquire_console (); while (n-- > 0) putchar_have_lock (*buffer++); release_console (); }