Symbol: kmdb_kdi_idt_switch
usr/src/cmd/mdb/intel/kmdb/kaif.c
738
kmdb_kdi_idt_switch(NULL);
usr/src/cmd/mdb/intel/kmdb/kaif.c
744
kmdb_kdi_idt_switch(cpusave);
usr/src/cmd/mdb/intel/kmdb/kmdb_kdi_isadep.h
45
extern void kmdb_kdi_idt_switch(kdi_cpusave_t *);