--- zzzz-none-000/linux-3.10.107/drivers/pcmcia/sa1111_badge4.c	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/drivers/pcmcia/sa1111_badge4.c	2021-02-04 17:41:59.000000000 +0000
@@ -132,7 +132,7 @@
 	.nr			= 2,
 };
 
-int pcmcia_badge4_init(struct device *dev)
+int pcmcia_badge4_init(struct sa1111_dev *dev)
 {
 	int ret = -ENODEV;