Lines Matching refs:result
303 kern_return_t result;
385 result = cpu_info(flavor, cpu_id, info, count);
386 if (result == KERN_SUCCESS)
389 return (result);
399 kern_return_t result;
411 result = cpu_start(processor->cpu_id);
415 return (result);
436 result = idle_thread_create(processor);
437 if (result != KERN_SUCCESS) {
444 return (result);
455 result = kernel_thread_create((thread_continue_t)processor_start_thread, NULL, MAXPRI_KERNEL, &thread);
456 if (result != KERN_SUCCESS) {
463 return (result);
480 result = cpu_start(processor->cpu_id);
481 if (result != KERN_SUCCESS) {
488 return (result);