ticks0             71 kernel/sysproc.c   uint ticks0;
ticks0             77 kernel/sysproc.c   ticks0 = ticks;
ticks0             78 kernel/sysproc.c   while(ticks - ticks0 < n){