paging/32bit/ARMPagingMethod32Bit.cpp

96 			"physical page pool space in virtual address space!");
100 	// allocate memory for the page table and data
106 			"Failed to allocate memory for page table!");
110 	// prepare the page table
127 	area_id area = create_area("physical page pool", &temp,
132 			"create area for physical page pool.");
140 		"physical page pool space", &temp, B_EXACT_ADDRESS,
144 			"create area for physical page pool space.");
202 	// create an area that can contain the page table and the slot
209 	area_id dataArea = create_area_etc(B_SYSTEM_TEAM, "physical page pool",
219 		VMAddressSpace::KernelID(), "physical page pool space",
227 	// prepare the page table
230 	// get the page table's physical address
239 	// put the page table into the page directory
283 	TRACE("page dir: %p (physical: %#" B_PRIx32 ")\n",
289 	// create the initial pools for the physical page mapper
298 				"for physical page mapper!");
303 	// create physical page mapper
306 		// TODO: Select the best page mapper!
324 	ASSERT_PRINT(area >= 0, "Failed mapping the kernel page directory: 0x%08lx!", area);
360 		panic("ran out of early page tables");
375 	// check to see if a page table exists for this range
385 		TRACE("ARMPagingMethod32Bit::MapEarly(): asked for free page for "
423 	// We only trust the kernel team's page directory. So switch to it first.
428 	// get the page directory entry for the address
435 		// map the original page directory and get the entry
449 	// map the page table and get the entry
468 	// switch back to the original page directory
502 	page_table_entry page = (physicalAddress & ARM_PTE_ADDRESS_MASK)
508 	// put it in the page table
509 	*(volatile page_table_entry*)entry = page;
572 		// page mapping not valid