Symbol: kdi_idtr_write
usr/src/uts/intel/os/arch_kdi.c
134
kdi_idtr_write(&idtr);
usr/src/uts/intel/sys/kdi_machimpl.h
111
extern void kdi_idtr_write(desctbr_t *);