arch/arm/arch_mmu.cpp

44 static uint32_t *sPageDirectory = NULL;
55 		uint32 directoryEntry = sPageDirectory[i];
93 	uint32 pageDirectoryEntry = sPageDirectory[pageDirectoryIndex];
97 		sPageDirectory[pageDirectoryIndex] = (uint32_t)pageTable | ARM_MMU_L1_TYPE_COARSE;
221 	if (platform_allocate_region((void **)&sPageDirectory,
224 	sPageDirectory = (uint32 *)ROUNDUP((uint32)sPageDirectory, ALIGN_PAGEDIR);
225 	memset(sPageDirectory, 0, ARM_MMU_L1_TABLE_SIZE);
227 	sNextPageTable = (uint32*)((uint32)sPageDirectory + ARM_MMU_L1_TABLE_SIZE);
232 	TRACE("sPageDirectory = 0x%08x\n", (uint32)sPageDirectory);
286 	platform_bootloader_address_to_kernel_address((void*)sPageDirectory, &virtPageDirectory);
288 	gKernelArgs.arch_args.phys_pgdir = (uint32)sPageDirectory;
290 	gKernelArgs.arch_args.next_pagetable = (uint32)(sNextPageTable) - (uint32)sPageDirectory;
291 	gKernelArgs.arch_args.last_pagetable = (uint32)(sLastPageTable) - (uint32)sPageDirectory;
305 	return (uint32_t)sPageDirectory;