Revision: linuxbios@linuxbios.org--devel/freebios--devel--2.0--patch-36

[coreboot.git] / src / devices / device.c

diff --git a/src/devices/device.c b/src/devices/device.c
index ba4a2f49014ee1a4efeda6c1514c0431dcc35d72..d2c435fb72ea419f0ca695de7538f789d99875c6 100644 (file)
--- a/src/devices/device.c
+++ b/src/devices/device.c
@@ -363,6 +363,7 @@ void compute_allocate_resource(
 
 
 }
+
 #if CONFIG_CONSOLE_VGA == 1
 device_t vga_pri = 0;
 static void allocate_vga_resource(void)
@@ -377,14 +378,13 @@ static void allocate_vga_resource(void)
        vga = 0;
        vga_onboard = 0;
        for (dev = all_devices; dev; dev = dev->next) {
-               if ( !dev->enabled ) continue;
+               if (!dev->enabled) continue;
                if (((dev->class >> 16) == PCI_BASE_CLASS_DISPLAY) &&
                    ((dev->class >> 8) != PCI_CLASS_DISPLAY_OTHER)) {
                        if (!vga) {
                                if (dev->on_mainboard) {
                                        vga_onboard = dev;
-                               } 
-                               else {
+                               } else {
                                        vga = dev;
                                }
                        }
@@ -397,7 +397,8 @@ static void allocate_vga_resource(void)
                vga = vga_onboard;
        }
        
-       if (vga) { // vga is first add on card or the only onboard vga
+       if (vga) {
+               // vga is first add on card or the only onboard vga
                printk_debug("Allocating VGA resource %s\n", dev_path(vga));
                vga->command |= (PCI_COMMAND_MEMORY | PCI_COMMAND_IO);
                vga_pri = vga;
@@ -411,7 +412,6 @@ static void allocate_vga_resource(void)
                bus = (bus == bus->dev->bus)? 0 : bus->dev->bus;
        } 
 }
-
 #endif