Fix build with CONFIG_*_ROM_RUN.
[coreboot.git] / src / devices / pci_device.c
index 48c209f02220e3d4562e21d2e91b01da81818c3a..322463466d29411e8744ec6d249fa44a5d8fb666 100644 (file)
@@ -674,7 +674,7 @@ void pci_dev_init(struct device *dev)
 
 #if CONFIG_CONSOLE_VGA == 1
        if ((dev->class>>8) == PCI_CLASS_DISPLAY_VGA)
-           vga_console_init(void);
+               vga_console_init();
 #endif /* CONFIG_CONSOLE_VGA */
 #endif /* CONFIG_PCI_ROM_RUN || CONFIG_VGA_ROM_RUN */
 }