cons               25 console.c      } cons;
cons               61 console.c        locking = cons.locking;
cons               63 console.c          acquire(&cons.lock);
cons              103 console.c          release(&cons.lock);
cons              113 console.c        cons.locking = 0;
cons              196 console.c        acquire(&cons.lock);
cons              229 console.c        release(&cons.lock);
cons              243 console.c        acquire(&cons.lock);
cons              247 console.c              release(&cons.lock);
cons              251 console.c            sleep(&input.r, &cons.lock);
cons              267 console.c        release(&cons.lock);
cons              279 console.c        acquire(&cons.lock);
cons              282 console.c        release(&cons.lock);
cons              291 console.c        initlock(&cons.lock, "console");
cons              295 console.c        cons.locking = 1;