tree cc8c3c459a82d71c1c15a056961b23f81e540e6e
parent 7a0c2029d655e03499b1e2a3daeeab6a56d72b87
author Kulikov Vasiliy <segooon@gmail.com> 1280814198 +0000
committer David S. Miller <davem@davemloft.net> 1280963883 -0700

via-velocity: do not use PCI resources before pci_enable_device()

IRQ and resource[] may not have correct values until
after PCI hotplug setup occurs at pci_enable_device() time.

The semantic match that finds this problem is as follows:

// <smpl>
@@
identifier x;
identifier request ~= "pci_request.*|pci_resource.*";
@@

(
* x->irq
|
* x->resource
|
* request(x, ...)
)
 ...
*pci_enable_device(x)
// </smpl>

Signed-off-by: Kulikov Vasiliy <segooon@gmail.com>
Signed-off-by: David S. Miller <davem@davemloft.net>