Symbol: xc_fini_cpu
usr/src/uts/i86pc/os/mp_startup.c
593
xc_fini_cpu(cp);
usr/src/uts/i86pc/sys/x_call.h
75
extern void xc_fini_cpu(struct cpu *);