ticks0             69 kernel/sysproc.c   uint ticks0;
ticks0             75 kernel/sysproc.c   ticks0 = ticks;
ticks0             76 kernel/sysproc.c   while(ticks - ticks0 < n){