return send_sig_info(sig, (void*)(long)(priv != 0), p); 
return send_sig_info(sig, __si_special(priv), p); 
send_sig(int sig, struct task_struct *p, int priv){	return send_sig_info(sig, (void*)(long)(priv != 0), p);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b67a1b9e4bf878aa5d4b6b44cb5a251a2f425f0d/signal.c/buggy/kernel/signal.c