c1e_remove_cpu   1405 arch/x86/kernel/smpboot.c 	c1e_remove_cpu(raw_smp_processor_id());
c1e_remove_cpu     13 include/asm-x86/idle.h void c1e_remove_cpu(int cpu);