stopcpu_bycpuid
if ((status = stopcpu_bycpuid(cpuid)) != 0) {
status = stopcpu_bycpuid(cpuid);
extern int stopcpu_bycpuid(int);