K 10
svn:author
V 4
manu
K 8
svn:date
V 27
2018-06-14T17:32:23.428720Z
K 7
svn:log
V 70
arm timer: Use the default get_cntxct by default

Reported by:	kevans

END