misdn_sock_cleanup  409 drivers/isdn/mISDN/core.c 	misdn_sock_cleanup();
misdn_sock_cleanup   52 drivers/isdn/mISDN/core.h extern void     misdn_sock_cleanup(void);