smpboot_park_threads 1487 kernel/cpu.c .teardown.single = smpboot_park_threads, smpboot_park_threads 18 kernel/smpboot.h int smpboot_park_threads(unsigned int cpu);