if (smi_info->thread != ERR_PTR(-ENOMEM)) 
if (smi_info->thread != NULL && smi_info->thread != ERR_PTR(-ENOMEM)) 
static inline void wait_for_timer_and_thread(struct smi_info *smi_info){	if (smi_info->thread != ERR_PTR(-ENOMEM))		kthread_stop(smi_info->thread);	del_timer_sync(&smi_info->si_timer);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/44f080c46e84090daf81b4d142359f8e38d7c5ee/ipmi_si_intf.c/buggy/drivers/char/ipmi/ipmi_si_intf.c