int ip6_pkt_discard_out(struct sk_buff *skb) 
static int ip6_pkt_discard_out(struct sk_buff *skb) 
int ip6_pkt_discard_out(struct sk_buff *skb){	skb->dev = skb->dst->dev;	return ip6_pkt_discard(skb);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/20380731bc2897f2952ae055420972ded4cd786e/route.c/buggy/net/ipv6/route.c