K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2019-03-15T16:43:28.431724Z
K 7
svn:log
V 352
Provide deterministic (and somewhat useful) value for RDPID result,
and for %ecx after RDTSCP.

Initialize TSC_AUX MSR with CPUID.  It allows for userspace to cheaply
identify CPU it was executed on some time ago, which is sometimes useful.

Note: The values returned might be changed in future.

Sponsored by:	The FreeBSD Foundation
MFC after:	1 week

END