get_mdevice_count   10 drivers/isdn/mISDN/core.h extern int			get_mdevice_count(void);
get_mdevice_count  366 drivers/isdn/mISDN/socket.c 		id = get_mdevice_count();
get_mdevice_count  649 drivers/isdn/mISDN/socket.c 		id = get_mdevice_count();