K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2008-09-08T09:55:51.179274Z
K 7
svn:log
V 151
Provide private per-CPU GDTs on amd64. This is required at least for the
linux CB_GS32BIT to work.

Noted by:	nox
Reviewed by:	peter
MFC after:	1 week

END