K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2007-07-08T18:17:42.000000Z
K 7
svn:log
V 192
NULL_LDT_BASE is used in !SMP kernels too and set_user_ldt() is not
properly called. Address these two issues.

Reported by: Tinderbox
Tested by: le
Approved by: jeff (mentor)
Approved by: re

END