tag	line	file	source code
isdn_ppp_receive	975	drivers/isdn/isdn_net.c	isdn_ppp_receive(lp->netdev, olp, skb);
isdn_ppp_receive	36	drivers/isdn/isdn_ppp.h	extern void isdn_ppp_receive(isdn_net_dev *, isdn_net_local *, struct sk_buff *);