cbuf               88 kernel/console.c   char cbuf;
cbuf              115 kernel/console.c     cbuf = c;
cbuf              116 kernel/console.c     if(either_copyout(user_dst, dst, &cbuf, 1) == -1)