--- dvb/linux/drivers/media/dvb/frontends/tbs6982se.h.orig	2013-08-01 12:58:37.553522983 +0200
+++ dvb/linux/drivers/media/dvb/frontends/tbs6982se.h	2013-08-01 12:57:26.977003821 +0200
@@ -26,7 +26,7 @@
 #else
 static inline struct dvb_frontend *tbs6982se_attach(
 	const struct tbs6982se_config *config,
-	struct i2c_adapter *i2c, int demod);
+	struct i2c_adapter *i2c, int demod)
 {
 	printk(KERN_WARNING "%s: driver disabled by Kconfig\n", __func__);
 	return NULL;