diff options
author | Németh Márton <nm127@freemail.hu> | 2010-01-10 09:34:45 -0500 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@suse.de> | 2010-03-02 17:54:17 -0500 |
commit | 33b9e16243fd69493be3ddda7be73226c8be586a (patch) | |
tree | f4127d429f2bfa8335241d44f055c61d14a99f3d /drivers/usb/misc/sisusbvga | |
parent | 9052127f631c8d71d5149da08d48014283faff2f (diff) |
USB misc: make USB device id constant
The id_table field of the struct usb_device_id is constant in <linux/usb.h>
so it is worth to make the initialization data also constant.
The semantic match that finds this kind of pattern is as follows:
(http://coccinelle.lip6.fr/)
// <smpl>
@r@
disable decl_init,const_decl_init;
identifier I1, I2, x;
@@
struct I1 {
...
const struct I2 *x;
...
};
@s@
identifier r.I1, y;
identifier r.x, E;
@@
struct I1 y = {
.x = E,
};
@c@
identifier r.I2;
identifier s.E;
@@
const struct I2 E[] = ... ;
@depends on !c@
identifier r.I2;
identifier s.E;
@@
+ const
struct I2 E[] = ...;
// </smpl>
Signed-off-by: Németh Márton <nm127@freemail.hu>
Cc: Julia Lawall <julia@diku.dk>
Cc: cocci@diku.dk
Signed-off-by: Greg Kroah-Hartman <gregkh@suse.de>
Diffstat (limited to 'drivers/usb/misc/sisusbvga')
-rw-r--r-- | drivers/usb/misc/sisusbvga/sisusb.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/usb/misc/sisusbvga/sisusb.c b/drivers/usb/misc/sisusbvga/sisusb.c index 8b37a4b9839e..bb0b315b521d 100644 --- a/drivers/usb/misc/sisusbvga/sisusb.c +++ b/drivers/usb/misc/sisusbvga/sisusb.c | |||
@@ -3238,7 +3238,7 @@ static void sisusb_disconnect(struct usb_interface *intf) | |||
3238 | kref_put(&sisusb->kref, sisusb_delete); | 3238 | kref_put(&sisusb->kref, sisusb_delete); |
3239 | } | 3239 | } |
3240 | 3240 | ||
3241 | static struct usb_device_id sisusb_table [] = { | 3241 | static const struct usb_device_id sisusb_table[] = { |
3242 | { USB_DEVICE(0x0711, 0x0550) }, | 3242 | { USB_DEVICE(0x0711, 0x0550) }, |
3243 | { USB_DEVICE(0x0711, 0x0900) }, | 3243 | { USB_DEVICE(0x0711, 0x0900) }, |
3244 | { USB_DEVICE(0x0711, 0x0901) }, | 3244 | { USB_DEVICE(0x0711, 0x0901) }, |