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