diff options
Diffstat (limited to 'src/devices/device.c')
| -rw-r--r-- | src/devices/device.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/devices/device.c b/src/devices/device.c index ba4a2f4901..d2c435fb72 100644 --- 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 |