spawn_softlockup_task(); 
static void do_pre_smp_initcalls(void){	extern int spawn_ksoftirqd(void);#ifdef CONFIG_SMP	extern int migration_init(void);	migration_init();#endif	spawn_ksoftirqd();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8446f1d391f3d27e6bf9c43d4cbcdac0ca720417/main.c/clean/init/main.c