#include <linux/kernel.h>
#include <linux/pci.h>
#include <linux/init.h>
+#include <video/vga.h>
#include <asm/irq.h>
#include <asm/mach/pci.h>
pcibios_min_io = 0x6000;
pcibios_min_mem = 0x50000000;
+ vga_base = 0xe8000000;
pci_common_init(&shark_pci);