MPIDR_TO_SGI_CLUSTER_ID
if (cluster_id != MPIDR_TO_SGI_CLUSTER_ID(mpidr)) {
u64 cluster_id = MPIDR_TO_SGI_CLUSTER_ID(gic_cpu_to_affinity(cpu));