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