return kill_pg_info(sig, (void *)(long)(priv != 0), pgrp); 
return kill_pg_info(sig, __si_special(priv), pgrp); 
kill_pg(pid_t pgrp, int sig, int priv){	return kill_pg_info(sig, (void *)(long)(priv != 0), pgrp);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b67a1b9e4bf878aa5d4b6b44cb5a251a2f425f0d/signal.c/buggy/kernel/signal.c