Searched refs:pml4 (Results 1 – 8 of 8) sorted by relevance
| /haiku/src/system/boot/platform/efi/arch/x86_64/ |
| H A D | arch_mmu.cpp | 197 uint64_t *pml4; in arch_mmu_generate_post_efi_page_tables() local
203 pml4 = NULL; in arch_mmu_generate_post_efi_page_tables()
204 if (platform_allocate_region((void**)&pml4, B_PAGE_SIZE, 0, false) != B_OK) in arch_mmu_generate_post_efi_page_tables()
206 gKernelArgs.arch_args.phys_pgdir = (uint32_t)(addr_t)pml4; in arch_mmu_generate_post_efi_page_tables()
207 memset(pml4, 0, B_PAGE_SIZE); in arch_mmu_generate_post_efi_page_tables()
208 platform_bootloader_address_to_kernel_address(pml4, in arch_mmu_generate_post_efi_page_tables()
262 pml4[510] = (addr_t)pdpt | kTableMappingFlags; in arch_mmu_generate_post_efi_page_tables()
263 pml4[0] = (addr_t)pdpt | kTableMappingFlags; in arch_mmu_generate_post_efi_page_tables()
279 pml4[511] = (addr_t)pdpt | kTableMappingFlags; in arch_mmu_generate_post_efi_page_tables()
306 return (uint64)pml4; in arch_mmu_generate_post_efi_page_tables()
|
| H A D | arch_smp_64.cpp | 44 uint32 pml4; // 64-bit PML4 member
86 args->pml4 = pagedir; in prepare_trampoline_args()
|
| H A D | arch_start.cpp | 24 extern "C" void arch_enter_kernel(uint64 pml4, uint64 entry_point,
|
| /haiku/src/system/boot/platform/bios_ia32/ |
| H A D | long.cpp | 127 uint64* pml4 = pmlTop; in long_mmu_init() local
139 pml4 = (uint64*)mmu_allocate_page(&physicalAddress); in long_mmu_init()
140 memset(pml4, 0, B_PAGE_SIZE); in long_mmu_init()
156 pml4[510] = physicalAddress | kTableMappingFlags; in long_mmu_init()
157 pml4[0] = physicalAddress | kTableMappingFlags; in long_mmu_init()
176 pml4[511] = physicalAddress | kTableMappingFlags; in long_mmu_init()
208 if (pml4 != pmlTop) in long_mmu_init()
209 mmu_free(pml4, B_PAGE_SIZE); in long_mmu_init()
|
| /haiku/src/system/boot/platform/efi/arch/arm64/ |
| H A D | arch_smp.cpp | 53 arch_smp_boot_other_cpus(uint32 pml4, uint64 kernelEntry, addr_t virtKernelArgs) in arch_smp_boot_other_cpus() argument
|
| /haiku/headers/private/kernel/boot/platform/efi/ |
| H A D | arch_smp.h | 37 void arch_smp_boot_other_cpus(uint32 pml4, uint64 kernelEntry, addr_t virtKernelArgs);
|
| /haiku/src/system/boot/platform/efi/arch/arm/ |
| H A D | arch_smp.cpp | 64 arch_smp_boot_other_cpus(uint32 pml4, uint64 kernelEntry, addr_t virtKernelArgs) in arch_smp_boot_other_cpus() argument
|
| /haiku/src/system/boot/platform/efi/ |
| H A D | start.cpp | 54 extern "C" void efi_enter_kernel(uint64 pml4, uint64 entry_point, uint64 stack);
|