+/* memory dedicated to PCI - make sure this is 4MB aligned */
+#define PCI_ADDR_ZONE_BEGIN 0xe0000000
+#define PCI_ADDR_ZONE_END 0xe0800000
+#define PCI_ADDR_ZONE_PDES 2
+#define PCI_ADDR_ZONE_PAGES (PCI_ADDR_ZONE_END-PCI_ADDR_ZONE_BEGIN)/PGSIZE
+
+
+