Searched refs:pmlTop (Results 1 – 1 of 1) sorted by relevance
93 uint64* pmlTop; in long_mmu_init() local95 pmlTop = (uint64*)mmu_allocate_page((addr_t*)&gKernelArgs.arch_args.phys_pgdir); in long_mmu_init()96 memset(pmlTop, 0, B_PAGE_SIZE); in long_mmu_init()97 gKernelArgs.arch_args.vir_pgdir = fix_address((uint64)(addr_t)pmlTop); in long_mmu_init()127 uint64* pml4 = pmlTop; in long_mmu_init()141 pmlTop[511] = physicalAddress | kTableMappingFlags; in long_mmu_init()142 pmlTop[0] = physicalAddress | kTableMappingFlags; in long_mmu_init()208 if (pml4 != pmlTop) in long_mmu_init()