K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-04-02T12:56:06.733918Z
K 7
svn:log
V 211
Add the generic timer registers to sysreg.h and cpu-v6.h, and use the
access functions in the generic timer driver.

Differential Revision:	https://reviews.freebsd.org/D2198
Sponsored by:	The FreeBSD Foundation

END