tasklet_schedule(&appldata_tasklet_struct); 
queue_work(appldata_wq, &appldata_work); 
appldata_offline_cpu(int cpu){	del_virt_timer(&per_cpu(appldata_timer, cpu));	if (atomic_dec_and_test(&appldata_expire_count)) {		atomic_set(&appldata_expire_count, num_online_cpus());		tasklet_schedule(&appldata_tasklet_struct);	}	spin_lock(&appldata_timer_lock);	__appldata_vtimer_setup(APPLDATA_MOD_TIMER);	spin_unlock(&appldata_timer_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f26d583e41aedad8159acf9533fa287d7209dfbf/appldata_base.c/buggy/arch/s390/appldata/appldata_base.c