block: make virtio device id constant
authorMárton Németh <nm127@freemail.hu>
Sun, 10 Jan 2010 12:40:02 +0000 (13:40 +0100)
committerJens Axboe <jens.axboe@oracle.com>
Mon, 11 Jan 2010 13:31:27 +0000 (14:31 +0100)
commit47483e25205f1f8d79784f0f7c733941bc080ec0
tree04107d64ec4e07fb6362e8055ed4a6f36a1c6f49
parentec9c42ec793d428e99fdd219867b31932034b138
block: make virtio device id constant

The id_table field of the struct virtio_driver is constant in <linux/virtio.h>
so it is worth to make id_table 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: Márton Németh <nm127@freemail.hu>
Cc: Julia Lawall <julia@diku.dk>
Cc: cocci@diku.dk
Signed-off-by: Jens Axboe <jens.axboe@oracle.com>
drivers/block/virtio_blk.c