Searched refs:kdi_idt_switch (Results 1 – 3 of 3) sorted by relevance
112 extern void kdi_idt_switch(kdi_cpusave_t *);
155 kdi->mkdi_idt_switch = kdi_idt_switch; in mach_kdi_init()
373 kdi_idt_switch(kdi_cpusave_t *cpusave) in kdi_idt_switch() function