Symbol: kctl_boot_tmpfini
usr/src/cmd/mdb/common/kmdb/kctl/kctl.h
98
extern void kctl_boot_tmpfini(void *);
usr/src/cmd/mdb/common/kmdb/kctl/kctl_main.c
500
kctl_boot_tmpfini(old);