NAME

putc − device independent character output routine

SYNOPSIS

int putc(dev, ch)
int dev;
charch;

DESCRIPTION

Putc will write the character ch on the I/O device given by dev.  It returns SYSERR if dev is incorrect, OK otherwise. 

By convention, printf calls putc on device CONSOLE to write formatted output.  Usually CONSOLE is device zero. 

SEE ALSO

close(2), control(2), getc(2), open(2), read(2), seek(2), write(2)

December 01, 1986  —  Xinu Programmer’s Manual