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

/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_mmu.cpp280 addr_t virtPageDirectory; local
281 platform_bootloader_address_to_kernel_address((void*)sPageDirectory, &virtPageDirectory);
284 gKernelArgs.arch_args.vir_pgdir = (uint32_t)virtPageDirectory;
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_mmu.cpp285 addr_t virtPageDirectory; local
286 platform_bootloader_address_to_kernel_address((void*)sPageDirectory, &virtPageDirectory);
289 gKernelArgs.arch_args.vir_pgdir = (uint32)virtPageDirectory;

Completed in 73 milliseconds