K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2010-08-12T13:46:43.067339Z
K 7
svn:log
V 191
Revert r211176:
As long as interrupts are disabled and there is not explicit call to
sched_add() there can't be any preemption there, thus the calls may be
consistent.

Reported by:	kib, jhb

END