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));