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

/haiku/src/system/kernel/arch/x86/paging/32bit/
H A DX86PagingMethod32Bit.cpp438 uint32 physicalPageDirectory = x86_read_cr3(); local
445 if (physicalPageDirectory == fKernelPhysicalPageDirectory) {
452 physicalPageDirectory, &virtualPageDirectory, &handle);
482 if (physicalPageDirectory != fKernelPhysicalPageDirectory)
483 x86_write_cr3(physicalPageDirectory);
/haiku/src/system/kernel/arch/arm/paging/32bit/
H A DARMPagingMethod32Bit.cpp425 uint32 physicalPageDirectory = x86_read_cr3();
432 if (physicalPageDirectory == fKernelPhysicalPageDirectory) {
439 physicalPageDirectory, &virtualPageDirectory, &handle);
469 if (physicalPageDirectory != fKernelPhysicalPageDirectory)
470 x86_write_cr3(physicalPageDirectory);

Completed in 62 milliseconds