K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2008-09-03T21:48:12.474136Z
K 7
svn:log
V 142
Additionally clear the STICK bit in the SOFTINT register when
receiving a PIL_TICK interrupt. This change was erroneously
omitted in r182730.

END