diff options
| -rw-r--r-- | kernel/console.c | 2 | 
1 files changed, 0 insertions, 2 deletions
| diff --git a/kernel/console.c b/kernel/console.c index d606ed2..23a2d35 100644 --- a/kernel/console.c +++ b/kernel/console.c @@ -60,14 +60,12 @@ consolewrite(int user_src, uint64 src, int n)  {    int i; -  acquire(&cons.lock);    for(i = 0; i < n; i++){      char c;      if(either_copyin(&c, user_src, src+i, 1) == -1)        break;      uartputc(c);    } -  release(&cons.lock);    return i;  } | 
