takedown_cpu      880 kernel/cpu.c   static int takedown_cpu(unsigned int cpu)
takedown_cpu     1061 kernel/cpu.c   #define takedown_cpu		NULL