gigaset_isdn_unregdrv 1144 drivers/staging/isdn/gigaset/common.c 	gigaset_isdn_unregdrv();
gigaset_isdn_unregdrv  668 drivers/staging/isdn/gigaset/gigaset.h void gigaset_isdn_unregdrv(void);