389 struct processor {  struct
390 	processor_state_t       state;                  /* See above */  argument
394 	bool                    current_is_bound;       /* current thread is bound to this processor */  argument
397 	struct thread          *active_thread;          /* thread running on processor */  argument
398 	struct thread          *idle_thread;            /* this processor's idle thread. */  argument
401 	processor_set_t         processor_set;  /* assigned set */  argument
407 	int                     current_pri;            /* priority of current thread */
408 	sfi_class_id_t          current_sfi_class;      /* SFI class of current thread */
432 …le;              /* Needs to be forced idle as next selected thread is allowed on this processor */  argument
438 	struct run_queue        runq;                   /* runq for this processor */  argument
440 	struct recount_processor pr_recount;  argument
446 	processor_t             processor_primary;  argument
447 	processor_t             processor_secondary;  argument
448 	struct ipc_port        *processor_self;         /* port for operations */  argument
450 	processor_t             processor_list;         /* all existing processors */  argument
453 	processor_reason_t      last_startup_reason;  argument
454 	processor_reason_t      last_shutdown_reason;  argument
455 	processor_reason_t      last_recommend_reason;  argument
456 	processor_reason_t      last_derecommend_reason;  argument
459 	bool                    processor_instartup;     /* between dostartup and up */  argument
462 	bool                    processor_booted;       /* Has gone through processor_boot */  argument
466 …bool                    processor_online;       /* between mark-online and mark-offline, tracked i…  argument
468 …bool                    processor_inshutdown;   /* is the processor between processor_shutdown and…  argument
469 	processor_offline_state_t processor_offline_state;  argument
712 pset_update_processor_state(processor_set_t pset, processor_t processor, uint new_state)  in pset_update_processor_state()