arch_asym_cpu_priority
seq_printf(s, "%d\t%d\n", cpu, arch_asym_cpu_priority(cpu));
extern int arch_asym_cpu_priority(int cpu);
return arch_asym_cpu_priority(a) > arch_asym_cpu_priority(b);