diff options
author | Kulikov Vasiliy <segooon@gmail.com> | 2010-08-03 19:44:23 +0400 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@suse.de> | 2010-10-22 10:16:42 -0700 |
commit | 1037246cacd45d951227c8798f181b3ba5c8bcbe (patch) | |
tree | dbf5580c239ddd84ec4bd6c8479a60d55a62f5d9 /ipc | |
parent | d79d32440c33cf60f1e0efbeb8144b1647be0b50 (diff) |
uio: 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>
Acked-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Hans J. Koch <hjk@linutronix.de>
Signed-off-by: Greg Kroah-Hartman <gregkh@suse.de>
Diffstat (limited to 'ipc')
0 files changed, 0 insertions, 0 deletions