Searched refs:wc_idt_base (Results 1 – 3 of 3) sorted by relevance
94 user_desc_t *wc_idt_base; member
500 (void *)cpup->wc_idt_base, cpup->wc_idt_limit, in prt_other_cpus()629 cpup->wc_gdt_limit, (void *)cpup->wc_idt_base, in i_cpr_power_down()
450 wc_idt_base