K 10
svn:author
V 6
grehan
K 8
svn:date
V 27
2014-04-24T00:27:34.451423Z
K 7
svn:log
V 135
Allow the guest to read the TSC via MSR 0x10.
NetBSD/amd64 does this, as does Linux on AMD CPUs.

Reviewed by:	neel
MFC after:	3 weeks

END