K 10
svn:author
V 4
mmel
K 8
svn:date
V 27
2017-11-05T16:52:54.481841Z
K 7
svn:log
V 110
All CP15 registers are bit fields or counters, don't use signed type
when accessing them.

MFC after:	3 weeks

END