/* To define CPU id, we use the affinity2 and affinity1 fields of the MPIDR register.  */
static uint8_t mpidr_to_cpuid(uint64_t mpidr_val)
/* To define CPU id, we use the affinity2 and affinity1 fields of the MPIDR register.  */
static uint8_t mpidr_to_cpuid(uint64_t mpidr_val)
{
	uint8_t cpuid = ((mpidr_val >> 8) & 0x0F) | ((mpidr_val >> 12) & 0xF0);
	return ++cpuid;
}