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)