cbuf               84 kernel/console.c   char cbuf;
cbuf              111 kernel/console.c     cbuf = c;
cbuf              112 kernel/console.c     if(either_copyout(user_dst, dst, &cbuf, 1) == -1)