Example #1
0
int
platform_mp_probe(void)
{

	if (mp_ncpus == 0)
		platform_mp_setmaxid();

	return (mp_ncpus > 1);
}
Example #2
0
int
platform_mp_probe(void)
{

	/* I think platform_mp_setmaxid must get called first, but be safe. */
	if (mp_ncpus == 0)
		platform_mp_setmaxid();

	return (mp_ncpus > 1);
}