tree 0bdd28ced4713108dd5758ee74678154e853045c
parent d7f0a59ff02affb8270ad9b6ee7e60974ac92df0
author Mark Wu <wudxw@linux.vnet.ibm.com> 1394462260 +0800
committer Andreas Färber <afaerber@suse.de> 1394740399 +0100

Fix vga_interface_type for command line argument '-device VGA'

Some machine (like pseries) initialization code determines if it has
graphics according to vga_interface_type. In the original code,
vga_interface_type is evaluated to VGA_NONE even if a VGA is added
via '-device VGA'. It causes the machine not aware of the graphics
device configured. Add a new VGA device type to indicate that it has a
VGA device, which will be initialized in QOM device initialization.

Suggested-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Mark Wu <wudxw@linux.vnet.ibm.com>
Reviewed-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Andreas Färber <afaerber@suse.de>