On Tue, Nov 30, 2010 at 02:26:01PM +0100, Gerd Hoffmann wrote: > Hi, > > This patch series adds a flag which allows pci devices being tagged > as not hotpluggable. It also sets this flag for a number of devices. > > cheers, > Gerd > > Gerd Hoffmann (3): > pci: allow devices being tagged as not hotpluggable. > piix: tag as not hotpluggable. > vga: tag as not hotplugable.
Applied, thanks. > hw/acpi_piix4.c | 2 ++ > hw/cirrus_vga.c | 1 + > hw/ide/piix.c | 2 ++ > hw/pci.c | 10 ++++++++++ > hw/pci.h | 3 +++ > hw/piix4.c | 1 + > hw/piix_pci.c | 2 ++ > hw/vga-pci.c | 1 + > hw/vmware_vga.c | 1 + > qerror.c | 4 ++++ > qerror.h | 3 +++ > 11 files changed, 30 insertions(+), 0 deletions(-) >
