Searched refs:hatch_pending_count (Results 1 – 1 of 1) sorted by relevance
172 unsigned int hatch_pending_count; variable616 hatch_pending_count = ncpusfound - 1; in cpu_setup_secondary_processors()629 for (cpu = 0; cpu < hatch_pending_count; cpu++) in cpu_setup_secondary_processors()637 while (hatch_pending_count != 0) in cpu_setup_secondary_processors()736 ci->ci_curpcb = (void *)hatch_stacks[hatch_pending_count - 1]; in secondary_pre_main()739 hatch_pending_count--; in secondary_pre_main()773 hatch_pending_count--; in secondary_main()