Searched refs:pagedir (Results 1 - 3 of 3) sorted by relevance
| /haiku/src/system/boot/platform/efi/arch/x86/ |
| H A D | arch_smp_32.cpp | 67 uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs,
84 args->page_dir = pagedir;
66 prepare_trampoline_args(uint64 trampolineCode, uint64 trampolineStack, uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs, uint32 currentCpu) argument
|
| H A D | arch_smp.cpp | 43 uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs,
235 arch_smp_boot_other_cpus(uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs) argument
256 pagedir, kernelEntry, virtKernelArgs, i);
|
| /haiku/src/system/boot/platform/efi/arch/x86_64/ |
| H A D | arch_smp_64.cpp | 69 uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs,
86 args->pml4 = pagedir;
68 prepare_trampoline_args(uint64 trampolineCode, uint64 trampolineStack, uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs, uint32 currentCpu) argument
|
Completed in 39 milliseconds