Searched refs:rm_idt_base (Results 1 – 3 of 3) sorted by relevance
72 gate_desc_t *rm_idt_base; member
333 rm->rm_idt_base = cp->cpu_idt; in mach_cpucontext_xalloc()
646 wcpp->rm_gdt_lim, (void *)wcpp->rm_idt_base, in i_cpr_power_down()