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