gigaset_isdn_regdrv 1138 drivers/staging/isdn/gigaset/common.c 	gigaset_isdn_regdrv();
gigaset_isdn_regdrv  667 drivers/staging/isdn/gigaset/gigaset.h void gigaset_isdn_regdrv(void);