Lines Matching refs:GDT

38 static SegmentDescriptor GDT[MAX_CPUS][GDT_MAX];
47  * Configures the Global Descriptor Table (GDT) that lists all segments and 
59     kprintf("Initializing GDT... "); // Caused pagefault??
61     GDT[c][0] = 0x0;
62     GDT[c][1] = 0x00AF9A000000FFFFULL; /* Kernel CS */
63     GDT[c][2] = 0x00CF92000000FFFFULL; /* Kernel DS */
64     GDT[c][3] = 0x0;
68     GDT[c][4] = sizeof(TaskStateSegment64);
70     GDT[c][4] |= (tmp << 16);
72     GDT[c][4] |= (tmp << 56);
73     GDT[c][4] |= 0x89ULL << 40;
74     GDT[c][5] = offset >> 32;
76     GDT[c][6] = 0x00AFFA000000FFFFULL; /* User CS */
77     GDT[c][7] = 0x00CFF2000000FFFFULL; /* User DS */
79     GDTDescriptor[c].off = (uint64_t)&GDT[c];