force_sig_info(sig, (void*)1L, p); 
force_sig_info(sig, SEND_SIG_PRIV, p); 
force_sig(int sig, struct task_struct *p){	force_sig_info(sig, (void*)1L, p);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b67a1b9e4bf878aa5d4b6b44cb5a251a2f425f0d/signal.c/buggy/kernel/signal.c