Symbol: boot_kdi_tmpfini
usr/src/cmd/mdb/intel/kmdb/kctl/kctl_isadep.c
212
boot_kdi_tmpfini(old);
usr/src/uts/common/sys/kdi_impl.h
156
extern void boot_kdi_tmpfini(void *);