ndisc_rcv(skb); 
ndisc_recv_ns(skb); 
static void pndisc_redo(struct sk_buff *skb){	ndisc_rcv(skb);	kfree_skb(skb);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/140e26fcd559f6988e5a9056385eecade19d9b49/ndisc.c/clean/net/ipv6/ndisc.c