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