K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2015-06-12T15:06:17.669395Z
K 7
svn:log
V 395
Ensure that the upper 16 bits of segment registers manually saved in
trapframes are cleared by explicitly pushing a zero and then moving
the segment register into the low 16 bits.  Certain Intel processors
treat a push of a segment register as a move of the segment register
into the low 16 bits leaving the upper 16 bits of the word in the
stack unchanged.

Reviewed by:	kib
MFC after:	1 month

END