topology_cpu_dedicated 860 arch/s390/kernel/smp.c if (topology_cpu_dedicated(cpu)) topology_cpu_dedicated 280 arch/s390/kernel/topology.c if (topology_cpu_dedicated(smp_processor_id())) topology_cpu_dedicated 455 arch/s390/kernel/topology.c count = sprintf(buf, "%d\n", topology_cpu_dedicated(cpu));