jf_left 420 kernel/smpboot.c int jf_left = seconds * HZ; jf_left 435 kernel/smpboot.c jf_left -= sleep_jf; jf_left 436 kernel/smpboot.c if (jf_left <= 0)