K 10 svn:author V 8 cperciva K 8 svn:date V 27 2010-12-31T17:42:25.664284Z K 7 svn:log V 279 Make i386_set_ldt work on i386/XEN, step 5/5. When cleaning up a thread, reset its LDT to the default LDT. Note: Casting the LDT pointer to an int and storing it in pc_currentldt is wildly bogus, but is harmless since pc_currentldt is a write-only variable. MFC after: 3 days END