ticks0             55 kernel/sysproc.c   uint ticks0;
ticks0             61 kernel/sysproc.c   ticks0 = ticks;
ticks0             62 kernel/sysproc.c   while(ticks - ticks0 < n){