Lines Matching refs:c

57     int c = CPU();
61     GDT[c][0] = 0x0;
62     GDT[c][1] = 0x00AF9A000000FFFFULL; /* Kernel CS */
63     GDT[c][2] = 0x00CF92000000FFFFULL; /* Kernel DS */
64     GDT[c][3] = 0x0;
67     offset = (uint64_t)&TSS[c];
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];
80     GDTDescriptor[c].lim = 8*GDT_MAX - 1;
82     lgdt(&GDTDescriptor[c]);
96     int c = CPU();
100     TSS[c]._unused0 = 0;
101     TSS[c]._unused1 = 0;
102     TSS[c]._unused2 = 0;
103     TSS[c]._unused3 = 0;
104     TSS[c]._unused4 = 0;
105     TSS[c].ist1 = ((uint64_t)&df_stack) + 4096;
106     TSS[c].ist2 = 0x0;
107     TSS[c].ist3 = 0x0;
108     TSS[c].ist4 = 0x0;
109     TSS[c].ist5 = 0x0;
110     TSS[c].ist6 = 0x0;
111     TSS[c].ist7 = 0x0;
112     TSS[c].rsp0 = ((uint64_t)&df_stack) + 4096;
113     TSS[c].rsp1 = 0;
114     TSS[c].rsp2 = 0;