Searched refs:rm_gdt_base (Results 1 – 3 of 3) sorted by relevance
60 user_desc_t *rm_gdt_base; member
645 "kgsbase=%lx\n", (void *)wcpp->rm_gdt_base, in i_cpr_power_down()857 real_mode_platter->rm_gdt_base = gdt.base; in init_real_mode_platter()
335 rm->rm_gdt_base = cp->cpu_gdt; in mach_cpucontext_xalloc()