tasklet_schedule((struct tasklet_struct *) data); 
queue_work(appldata_wq, (struct work_struct *) data); 
static void appldata_timer_function(unsigned long data, struct pt_regs *regs){	P_DEBUG("   -= Timer =-\n");	P_DEBUG("CPU: %i, expire_count: %i\n", smp_processor_id(),		atomic_read(&appldata_expire_count));	if (atomic_dec_and_test(&appldata_expire_count)) {		atomic_set(&appldata_expire_count, num_online_cpus());		tasklet_schedule((struct tasklet_struct *) data);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f26d583e41aedad8159acf9533fa287d7209dfbf/appldata_base.c/buggy/arch/s390/appldata/appldata_base.c