K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-08-12T17:09:57.889889Z
K 7
svn:log
V 52
Add the CNTHCTL_EL2 register bits missed in r286674

END