diff --git a/device/device.c b/device/device.c
index 3aa18918d3..a9db6a1a05 100644
--- a/device/device.c
+++ b/device/device.c
@@ -505,6 +505,7 @@ void compute_allocate_resource(
 
 #if defined(CONFIG_CONSOLE_VGA) && CONFIG_CONSOLE_VGA == 1
 struct device * vga_pri = 0;
+int vga_inited = 0;
 static void allocate_vga_resource(void)
 {
 #warning "FIXME modify allocate_vga_resource so it is less pci centric!"
diff --git a/device/pci_rom.c b/device/pci_rom.c
index 6923541815..43e540203e 100644
--- a/device/pci_rom.c
+++ b/device/pci_rom.c
@@ -83,11 +83,6 @@ struct rom_header * pci_rom_probe(struct device *dev)
 
 static void *pci_ram_image_start = (void *)PCI_RAM_IMAGE_START;
 
-#ifndef GO_AWAY
-int vga_inited;
-struct device *vga_pri;
-#endif
-
 #if CONFIG_CONSOLE_VGA == 1
 extern int vga_inited;		// defined in vga_console.c 
 #if CONFIG_CONSOLE_VGA_MULTI == 0