Searched refs:start_kind (Results 1 – 3 of 3) sorted by relevance
559 processor_start_kind_t start_kind);
850 processor_wait_for_start(processor_t processor, processor_start_kind_t start_kind) in processor_wait_for_start() argument871 processor_start_panic_strings[start_kind], in processor_wait_for_start()
7512 check_all_cpus_are_done_starting(processor_start_kind_t start_kind) in check_all_cpus_are_done_starting() argument7520 processor_wait_for_start(processor, start_kind); in check_all_cpus_are_done_starting()