Searched refs:wc_gdt_base (Results 1 – 3 of 3) sorted by relevance
354 gdt.base = cpup->wc_gdt_base; in i_cpr_pre_resume_cpus()493 (void *)cpup->wc_gdt_base, cpup->wc_gdt_limit, in prt_other_cpus()618 "kgbase=%lx\n", (void *)cpup->wc_gdt_base, in i_cpr_power_down()623 gdt.base = cpup->wc_gdt_base; in i_cpr_power_down()
81 user_desc_t *wc_gdt_base; member
483 wc_gdt_base