[arch/x86/kernel/smpboot_64.c] void do_fork_idle(struct work_struct *work) Needs labelling with __cpuinit. David