acpi: make ACPI device id constant
authorMárton Németh <nm127@freemail.hu>
Sun, 10 Jan 2010 16:15:36 +0000 (17:15 +0100)
committerLen Brown <len.brown@intel.com>
Sat, 16 Jan 2010 20:56:43 +0000 (15:56 -0500)
commitc97adf9e7bebf17a86b95e2131bf9ba76c4857c7
tree11667422c8b8a8d9f2980affd5f74611c4d12724
parentc14973f93027500301fc40333e16ae49e58923a7
acpi: make ACPI device id constant

The ids field of the struct acpi_driver is constant in <linux/acpi/acpi_bus.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: Márton Németh <nm127@freemail.hu>
Cc: Julia Lawall <julia@diku.dk>
Cc: cocci@diku.dk
Signed-off-by: Len Brown <len.brown@intel.com>
drivers/acpi/pci_link.c
drivers/acpi/pci_root.c
drivers/acpi/power.c
drivers/acpi/power_meter.c