+
+ init_page_dir_initialized = true;
+}
+
+/* initialize PCI zone at PCI_ADDR_ZONE_BEGIN - PCI_ADDR_ZONE_END*/
+static void
+pci_zone_init (void)
+{
+ int i;
+ for (i = 0; i < PCI_ADDR_ZONE_PDES; i++)
+ {
+ size_t pde_idx = pd_no ((void *) PCI_ADDR_ZONE_BEGIN) + i;
+ uint32_t pde;
+ void *pt;
+
+ pt = palloc_get_page (PAL_ASSERT | PAL_ZERO);
+ pde = pde_create_kernel (pt);
+ init_page_dir[pde_idx] = pde;
+ }