num_secs          109 kern/thread/clock.c clocksleep(int num_secs)
num_secs          111 kern/thread/clock.c 	while (num_secs > 0) {
num_secs          114 kern/thread/clock.c 		num_secs--;