Searched refs:cpu_get_gdt (Results 1 – 3 of 3) sorted by relevance
166 extern user_desc_t *cpu_get_gdt(void);
995 cpu_get_gdt(void) in cpu_get_gdt() function
793 desc = cpu_get_gdt() + ndx; in fasttrap_do_seg()