tree 262a6f5783ec3a91a5c7d51a63383a99965f2697
parent 1a39b310e920bb7098067d96411b31e459ae8f32
author Matthew Garrett <mjg@redhat.com> 1334607963 -0400
committer Dave Airlie <airlied@redhat.com> 1335257416 +0100

vga-switcheroo: Use vga_default_device()

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>