MPIDR_TO_SGI_CLUSTER_ID 1066 drivers/irqchip/irq-gic-v3.c 		if (cluster_id != MPIDR_TO_SGI_CLUSTER_ID(mpidr)) {
MPIDR_TO_SGI_CLUSTER_ID 1109 drivers/irqchip/irq-gic-v3.c 		u64 cluster_id = MPIDR_TO_SGI_CLUSTER_ID(cpu_logical_map(cpu));