4 /* Segment selectors. */
5 #define SEL_NULL 0x00 /* Null selector. */
6 #define SEL_KCSEG 0x08 /* Kernel code selector. */
7 #define SEL_KDSEG 0x10 /* Kernel data selector. */
8 #define SEL_UCSEG 0x1B /* User code selector. */
9 #define SEL_UDSEG 0x23 /* User data selector. */
10 #define SEL_TSS 0x28 /* Task-state segment. */
11 #define SEL_CNT 6 /* Number of segments. */
18 uint16_t back_link, :16;
28 uint32_t eax, ecx, edx, ebx;
29 uint32_t esp, ebp, esi, edi;
37 uint16_t trace, bitmap;
41 static inline uint64_t
42 make_dtr_operand (uint16_t limit, void *base)
44 return limit | ((uint64_t) (uint32_t) base << 16);
47 extern struct tss *tss;