| commit | 2fbe8c7c3ebfed2059a6597322bb0dbc4d96feb5 | [log] [tgz] |
|---|---|---|
| author | Matthew Garrett <mjg@redhat.com> | Mon Apr 16 16:26:03 2012 -0400 |
| committer | Dave Airlie <airlied@redhat.com> | Tue Apr 24 09:50:16 2012 +0100 |
| tree | 262a6f5783ec3a91a5c7d51a63383a99965f2697 | |
| parent | 1a39b310e920bb7098067d96411b31e459ae8f32 [diff] |
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>