Searched defs:gdt_table (Results 1 – 4 of 4) sorted by relevance
30 uint64_t *gdt_table; in target_cpu_init() local
406 uint64_t *gdt_table; in target_cpu_copy_regs() local
6110 uint64_t *gdt_table = g2h_untagged(env->gdt.base); in do_set_thread_area() local6196 uint64_t *gdt_table = g2h_untagged(env->gdt.base); in do_get_thread_area() local