Symbol: hat_kdi_init
usr/src/cmd/mdb/intel/kmdb/kctl/kctl_isadep.c
186
dvec->dv_kctl_vmready = hat_kdi_init;
usr/src/cmd/mdb/intel/kmdb/kctl/kctl_isadep.c
189
hat_kdi_init();
usr/src/uts/intel/sys/kdi_machimpl.h
90
extern void hat_kdi_init(void);