PCI: complain about devices that seem to be broken
[safe/jmp/linux-2.6] / drivers / media / video / saa5249.c
index 271d6e9..12835fb 100644 (file)
@@ -46,7 +46,6 @@
 #include <linux/mm.h>
 #include <linux/init.h>
 #include <linux/i2c.h>
-#include <linux/smp_lock.h>
 #include <linux/mutex.h>
 #include <linux/delay.h>
 #include <linux/videotext.h>