133 processor_t             processor_list;
135 static processor_t      processor_list_tail;
146 processor_t             processor_array[MAX_SCHED_CPUS] = { 0 };
164 	processor_t p;  in ipi_test()
243 	processor_t            processor,  in processor_init()
315 	processor_t             processor,  in processor_set_primary()
316 	processor_t             primary)  in processor_set_primary()
353 	processor_t     processor)  in processor_pset()
380 processor_state_update_running_foreign(processor_t processor, thread_t thread)  in processor_state_update_running_foreign()
404 processor_state_update_running_cluster_shared_rsrc(processor_t processor, thread_t thread)  in processor_state_update_running_cluster_shared_rsrc()
421 processor_state_update_idle(processor_t processor)  in processor_state_update_idle()
443 processor_state_update_from_thread(processor_t processor, thread_t thread, boolean_t pset_lock_held)  in processor_state_update_from_thread()
471 processor_state_update_explicit(processor_t processor, int pri, sfi_class_id_t sfi_class,  in processor_state_update_explicit()
639 	processor_t     processor,  in processor_info()
777 	processor_t                     processor)  in processor_start()
789 		processor_t             prev;  in processor_start()
912 	processor_t     processor)  in processor_exit()
924 	processor_t                     processor)  in processor_start_from_user()
943 	processor_t     processor)  in processor_exit_from_user()
971 		processor_t processor = processor_array[i];  in enable_smt_processors()
1003 	processor_t             processor,  in processor_control()
1032 	processor_t     processor,  in processor_get_assignment()