Call thread_yield() in timer_sleep() if interrupts are on.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 11 Sep 2004 23:16:45 +0000 (23:16 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 11 Sep 2004 23:16:45 +0000 (23:16 +0000)
commit208fb587faa75eaa0e740db9b605ff3d7ba24905
tree75d38d1c4455e92966b957d61980486b30d3d09c
parentf8c3387bc9d7f7280c3b6f3626826e21ca584af0
Call thread_yield() in timer_sleep() if interrupts are on.
src/devices/timer.c