Searched refs:num_registered (Results 1 - 1 of 1) sorted by relevance

/xnu-2782.1.97/osfmk/i386/
H A Dmachine_routines.c465 static uint32_t num_registered = 0; local
470 num_registered++;
480 DBG( "about to start CPUs. %d registered\n", num_registered );
482 cpu_topology_sort( num_registered );

Completed in 26 milliseconds