K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2011-10-02T11:13:28.451393Z
K 7
svn:log
V 269
MFC r225875, r225877:
Handle the race in cpu_idle() when due to the critical section CPU could
get into sleep after receiving interrupt, delaying interrupt thread
execution indefinitely until the next interrupt arrive.

Reviewed by:    nwhitehorn
Approved by:	re (kib)

END