/* Return a 32-bit mask indicating which cores are present on this SOC.  */
u32 cpu_mask(void)
/* Return a 32-bit mask indicating which cores are present on this SOC.  */
u32 cpu_mask(void)
{
	return (1 << cpu_numcores()) - 1;
}