Symbol: boot_kdi_tmpfini
usr/src/uts/i86pc/os/mach_kdi.c
165
boot_kdi_tmpfini(void *old)
usr/src/uts/i86xpv/os/mach_kdi.c
198
boot_kdi_tmpfini(void *old)