PUTC(2) Xinu Programmer's Manual PUTC(2) NAME putc - device independent character output routine SYNOPSIS int putc(dev, ch) int dev; char ch; DESCRIPTION _P_u_t_c will write the character _c_h on the I/O device given by _d_e_v. It returns SYSERR if _d_e_v is incorrect, OK otherwise. By convention, _p_r_i_n_t_f calls _p_u_t_c 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) Version 6b Printed 1/12/87 1