delete_teimanager   47 drivers/isdn/mISDN/core.h extern void	delete_teimanager(struct mISDNchannel *);
delete_teimanager  409 drivers/isdn/mISDN/stack.c 		delete_teimanager(dev->teimgr);
delete_teimanager  628 drivers/isdn/mISDN/stack.c 		delete_teimanager(dev->teimgr);