Call thread_yield() in timer_sleep() if interrupts are on.
[pintos-anon] / doc /
drwxr-xr-x   ..
-rw-r--r-- 17869 filesys.texi
-rw-r--r-- 299 projects.texi
-rw-r--r-- 24616 threads.texi
-rw-r--r-- 30394 userprog.texi
-rw-r--r-- 28064 vm.texi