Symbol: kcpc_hw_fini
usr/src/uts/i86pc/os/mp_startup.c
586
kcpc_hw_fini(cp);
usr/src/uts/i86pc/sys/machsystm.h
94
extern void kcpc_hw_fini(cpu_t *cp);