diff --git a/Makefile.target b/Makefile.target
index ac52093d12..c8ef716825 100644
--- a/Makefile.target
+++ b/Makefile.target
@@ -237,7 +237,8 @@ VL_OBJS=vl.o osdep.o block.o monitor.o pci.o
 ifeq ($(TARGET_ARCH), i386)
 # Hardware support
 VL_OBJS+= ide.o ne2000.o pckbd.o vga.o sb16.o dma.o oss.o
-VL_OBJS+= fdc.o mc146818rtc.o serial.o i8259.o i8254.o pc.o
+VL_OBJS+= fdc.o mc146818rtc.o serial.o i8259.o i8254.o pc.o 
+VL_OBJS+= cirrus_vga.o
 endif
 ifeq ($(TARGET_ARCH), ppc)
 # Generic PPC support
diff --git a/vl.h b/vl.h
index 9dbb5b41a3..1b5c3cfd48 100644
--- a/vl.h
+++ b/vl.h
@@ -481,6 +481,13 @@ int vga_initialize(DisplayState *ds, uint8_t *vga_ram_base,
 void vga_update_display(void);
 void vga_screen_dump(const char *filename);
 
+/* cirrus_vga.c */
+void pci_cirrus_vga_init(DisplayState *ds, uint8_t *vga_ram_base, 
+                         unsigned long vga_ram_offset, int vga_ram_size);
+
+void isa_cirrus_vga_init(DisplayState *ds, uint8_t *vga_ram_base, 
+                         unsigned long vga_ram_offset, int vga_ram_size);
+
 /* sdl.c */
 void sdl_display_init(DisplayState *ds);