vga-switcheroo: Use vga_default_device()
authorMatthew Garrett <mjg@redhat.com>
Mon, 16 Apr 2012 20:26:03 +0000 (16:26 -0400)
committerDave Airlie <airlied@redhat.com>
Tue, 24 Apr 2012 08:50:16 +0000 (09:50 +0100)
vga-switcheroo currently changes the default VGA device by fiddling with
the IORESOURCE_ROM_SHADOW flag on the device. This isn't strictly accurate,
since there's no guarantee that switching also changes the ROM decoding.
Switch over to using the vgaarb functions for this.

Signed-off-by: Matthew Garrett <mjg@redhat.com>
Signed-off-by: Dave Airlie <airlied@redhat.com>

No differences found