Symbol: kdi_idt_sync
usr/src/uts/i86pc/os/mlsetup.c
409
kdi_idt_sync();
usr/src/uts/intel/sys/kdi_machimpl.h
108
extern void kdi_idt_sync(void);