Symbol: cpu_faulted
usr/src/uts/common/sys/cpuvar.h
638
int cpu_faulted(cpu_t *, int); /* take cpu to faulted */
usr/src/uts/common/syscall/p_online.c
214
error = cpu_faulted(cp, flags);