Symbol: kdi_idt_switch
usr/src/uts/intel/os/arch_kdi.c
155
kdi->mkdi_idt_switch = kdi_idt_switch;
usr/src/uts/intel/sys/kdi_machimpl.h
109
extern void kdi_idt_switch(kdi_cpusave_t *);