Searched refs:krs_idt (Results 1 – 3 of 3) sorted by relevance
93 gate_desc_t *krs_idt; /* IDT address */ member
54 krs_idt
266 kdi_idtr_set(cpusave->krs_idt, (sizeof (*idt0) * NIDT) - 1); in kdi_idt_switch()