K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-09-06T13:21:07.165168Z
K 7
svn:log
V 321
Allow us to use the virtual timer. It is currently disabled, but should
be usable as the default timer in place of the physical timer.

We are guaranteed to have access to the virtual timer, but when running
under a hypervisor may not have access to the physical.

Differential Revision: https://reviews.freebsd.org/D588

END