ticks             145 kernel/defs.h  extern uint     ticks;
ticks              61 kernel/sysproc.c   ticks0 = ticks;
ticks              62 kernel/sysproc.c   while(ticks - ticks0 < n){
ticks              67 kernel/sysproc.c     sleep(&ticks, &tickslock);
ticks              90 kernel/sysproc.c   xticks = ticks;
ticks              10 kernel/trap.c  uint ticks;
ticks             168 kernel/trap.c      ticks++;
ticks             169 kernel/trap.c      wakeup(&ticks);