Searched refs:pml4 (Results 1 - 1 of 1) sorted by relevance

/haiku-fatelf/src/system/boot/platform/bios_ia32/
H A Dlong.cpp110 uint64* pml4; local
117 pml4 = (uint64*)mmu_allocate_page(&gKernelArgs.arch_args.phys_pgdir);
118 memset(pml4, 0, B_PAGE_SIZE);
119 gKernelArgs.arch_args.vir_pgdir = fix_address((uint64)(addr_t)pml4);
155 pml4[510] = physicalAddress | kTableMappingFlags;
156 pml4[0] = physicalAddress | kTableMappingFlags;
176 pml4[511] = physicalAddress | kTableMappingFlags;

Completed in 31 milliseconds