Symbol: kdi_idt_write
usr/src/uts/intel/kdi/kdi_idt.c
218
kdi_idt_write(&gates[i], vec);
usr/src/uts/intel/kdi/kdi_idt.c
228
kdi_idt_write(&kdi_kgates[i], kdi_gate_specs[i].kgs_vec);
usr/src/uts/intel/sys/kdi_machimpl.h
107
extern void kdi_idt_write(struct gate_desc *, uint_t);