K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2011-05-14T14:40:24.045691Z
K 7
svn:log
V 72
Be pedantic: mark the pcpu pointer (= register r13) itself as volatile.

END