Searched refs:gdt_entry_number (Results 1 – 1 of 1) sorted by relevance
99 static unsigned int gdt_entry_number = -1; in InitCpu() local101 if (gdt_entry_number == static_cast<unsigned int>(-1)) { in InitCpu()104 gdt_entry.entry_number = gdt_entry_number; in InitCpu()117 if (gdt_entry_number == static_cast<unsigned int>(-1)) { in InitCpu()118 gdt_entry_number = entry_number; // Save the kernel-assigned entry number. in InitCpu()