diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2011-01-06 15:14:37 +0100 |
|---|---|---|
| committer | Michael S. Tsirkin <mst@redhat.com> | 2011-01-10 13:29:16 +0200 |
| commit | 180c22e18b0a9be21445271f94347238b0bc0a25 (patch) | |
| tree | 6b9f0cb463e07c7661e360020736968902fd8230 /hw/pl022.c | |
| parent | c574ba5a4ce0faee6a687412804d6045ef815327 (diff) | |
pci: allow devices being tagged as not hotpluggable.
This patch adds a field to PCIDeviceInfo to tag devices as being
not hotpluggable. Any attempt to plug-in or -out such a device
will throw an error.
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Diffstat (limited to 'hw/pl022.c')
0 files changed, 0 insertions, 0 deletions