FreeBSD/sys/arm64/arm64/mp_machdep.c
/* Determine if we running MP machine */
Determine if we running MP machine
Determine if we running MP machine
int
cpu_mp_probe(void)
{
	return (1);
}
int cpu_mp_probe ( void ) { return ( 1 ) ; }
Determine if we running MP machine
Determine if we running MP machine
/* ARM64TODO: Read the u bit of mpidr_el1 to determine this */