debug sleep

kernel/sysproc.c

@@ -259,8 +259,10 @@ sys_nanosleep(void)
   time0 = time;
   acquire(&tickslock);
 
+  uint64 target_ticks = tv_sec * TICKS_PER_SECOND + (tv_nsec * TICKS_PER_SECOND) / 1000000000;
+
   // Include nanoseconds in the sleep time calculation
-  while(time - time0 < tv_sec * TICKS_PER_SECOND + tv_nsec / (1000000000 / TICKS_PER_SECOND)) {
+  while(time - time0 < target_ticks) {
     printf("time = %llu, time0 = %llu, tv_sec = %llu, tv_nsec = %llu\n", time, time0, tv_sec, tv_nsec);
     printf("Sleeping... Time elapsed: %llu, target: %llu\n", time - time0, tv_sec * TICKS_PER_SECOND + tv_nsec / (1000000000 / TICKS_PER_SECOND));