60bbcab13f
include grant id in DEV_REVIVE messages
34 lines
1.1 KiB
C
34 lines
1.1 KiB
C
/* A server must occasionally print some message. It uses a simple version of
|
|
* printf() found in the system library that calls putk() to output characters.
|
|
* The LOG driver cannot use the regular putk(). Hence, it uses a special
|
|
* version of putk() that directly sends to the TTY task.
|
|
*
|
|
* Changes:
|
|
* 21 July 2005: Created (Jorrit N. Herder)
|
|
*/
|
|
|
|
#include "log.h"
|
|
|
|
/*===========================================================================*
|
|
* kputc *
|
|
*===========================================================================*/
|
|
void kputc(c)
|
|
int c;
|
|
{
|
|
/* Accumulate another character. If 0 or buffer full, print it. */
|
|
static int buf_count; /* # characters in the buffer */
|
|
static char print_buf[80]; /* output is buffered here */
|
|
message m;
|
|
|
|
if ((c == 0 && buf_count > 0) || buf_count == sizeof(print_buf)) {
|
|
m.DIAG_BUF_COUNT = buf_count;
|
|
m.DIAG_PRINT_BUF_G = print_buf;
|
|
m.m_type = DIAGNOSTICS; /* request TTY to output this buffer */
|
|
_sendrec(TTY_PROC_NR, &m); /* if it fails, we give up */
|
|
buf_count = 0; /* clear buffer for next batch */
|
|
}
|
|
if (c != 0) {
|
|
print_buf[buf_count++] = c;
|
|
}
|
|
}
|
|
|