*/
#include <i386/seg.h>
-
-struct real_descriptor master_ldt[LDTSZ] __attribute__ ((aligned (4096))) = {
+struct real_descriptor master_ldt[LDTSZ] __attribute__ ((aligned (4096)))
+ __attribute__ ((section ("__HIB, __desc")))
+ = {
[SEL_TO_INDEX(USER_CTHREAD)] = MAKE_REAL_DESCRIPTOR( /* user cthread segment */
0,
0xfffff,
ACC_P|ACC_PL_U|ACC_DATA_W
),
};
+
+unsigned mldtsz = sizeof(master_ldt);