Symbol: kdi_idt_write
usr/src/uts/i86pc/os/mach_kdi.c
50
kdi_idt_write(gate_desc_t *gate, uint_t vec)
usr/src/uts/i86xpv/os/mach_kdi.c
73
kdi_idt_write(gate_desc_t *gate, uint_t vec)