apic_cpu_stop
return (apic_cpu_stop(reqp->req.cpu_stop.cpuid,
extern int apic_cpu_stop(processorid_t cpuid, caddr_t ctx);