K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2019-02-14T13:59:00.172676Z
K 7
svn:log
V 153
x86 __vdso_gettc(): use machine/cpufunc.h function for CPUID.

Based on the discussion with:	jkim
Sponsored by:	The FreeBSD Foundation
MFC after:	1 week

END