kcpc_cpu_stop
kcpc_cpu_stop(c, B_FALSE);
kcpc_cpu_stop(c, B_TRUE);
kcpc_cpu_stop(cp, B_FALSE);
extern void kcpc_cpu_stop(struct cpu *, boolean_t);