--- dvb/linux/drivers/media/dvb/frontends/isl6423.h.orig	2011-10-12 00:10:23.000000000 +0200
+++ dvb/linux/drivers/media/dvb/frontends/isl6423.h	2012-12-21 16:14:21.639421182 +0100
@@ -52,7 +52,7 @@
 #else
 static inline struct dvb_frontend *isl6423_attach(struct dvb_frontend *fe,
 						  struct i2c_adapter *i2c,
-						  const struct isl6423_config *config
+						  const struct isl6423_config *config,
 						  int nr)
 {
 	printk(KERN_WARNING "%s: driver disabled by Kconfig\n", __func__);