diff options
| author | Kulikov Vasiliy <segooon@gmail.com> | 2010-08-03 05:43:18 (GMT) |
|---|---|---|
| committer | David S. Miller <davem@davemloft.net> | 2010-08-04 23:18:03 (GMT) |
| commit | 889635fd6b269963f7e68b53c9f0f60c8008a77f (patch) | |
| tree | cc8c3c459a82d71c1c15a056961b23f81e540e6e /drivers/isdn | |
| parent | 7a0c2029d655e03499b1e2a3daeeab6a56d72b87 (diff) | |
| download | linux-889635fd6b269963f7e68b53c9f0f60c8008a77f.tar.xz | |
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>
Diffstat (limited to 'drivers/isdn')
0 files changed, 0 insertions, 0 deletions