cbuf               92 kernel/console.c   char cbuf;
cbuf              122 kernel/console.c     cbuf = c;
cbuf              123 kernel/console.c     if (either_copyout(user_dst, dst, &cbuf, 1) == -1)