Lines Matching refs:processor_t

388 	processor_t             processor_primary;
389 	processor_t             processor_secondary;
392 	processor_t             processor_list;         /* all existing processors */
408 extern processor_t processor_list;
416 extern processor_t     __single processor_array[MAX_SCHED_CPUS];    /* array indexed by cpuid */
427 extern processor_t      current_processor(void);
450 	processor_t             processor,
455 	processor_t             processor,
456 	processor_t             primary);
459 	processor_t             processor);
462 	processor_t             processor);
464 	processor_t             processor);
467 	processor_t             processor,
471 	processor_t             processor);
474 	processor_t             processor);
477 	processor_t             processor);
505 extern processor_t      machine_choose_processor(
507 	processor_t             processor);
543 	processor_t             processor);
546 	processor_t             processor,
551 	processor_t             processor,
604 pset_update_processor_state(processor_set_t pset, processor_t processor, uint new_state)  in pset_update_processor_state()
688 extern processor_t      cpu_to_processor(int cpu);