Symbol: smp_query_cpu_stopped