topology_cpu_dedicated
seq_printf(m, "dedicated : %d\n", topology_cpu_dedicated(n));
if (topology_cpu_dedicated(cpu))
if (topology_cpu_dedicated(smp_processor_id()))
count = sysfs_emit(buf, "%d\n", topology_cpu_dedicated(cpu));