From bcdbe90296bad7fdf56416e9713789194fb83aa3 Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Fri, 20 Jul 2012 11:55:19 +0200 Subject: Drop VGA_BRIDGE_SETUP config option It defaults to true, and isn't disabled anywhere in the tree. I also couldn't think of a case where it's actually useful. Change-Id: I126a47625d5294f3cfff225629f2a948a83c9b7e Signed-off-by: Patrick Georgi Reviewed-on: http://review.coreboot.org/1250 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer --- src/devices/device.c | 5 ----- 1 file changed, 5 deletions(-) (limited to 'src/devices/device.c') diff --git a/src/devices/device.c b/src/devices/device.c index c378078de2..d3f9b52cc4 100644 --- a/src/devices/device.c +++ b/src/devices/device.c @@ -705,7 +705,6 @@ static void avoid_fixed_resources(struct device *dev) } } -#if CONFIG_VGA_BRIDGE_SETUP device_t vga_pri = 0; static void set_vga_bridge_bits(void) { @@ -781,8 +780,6 @@ static void set_vga_bridge_bits(void) } } -#endif - /** * Assign the computed resources to the devices on the bus. * @@ -964,9 +961,7 @@ void dev_configure(void) struct device *root; struct device *child; -#if CONFIG_VGA_BRIDGE_SETUP set_vga_bridge_bits(); -#endif printk(BIOS_INFO, "Allocating resources...\n"); -- cgit v1.2.3