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, in prepare_trampoline_args() argument
84 args->page_dir = pagedir; in prepare_trampoline_args()
|
| 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) in arch_smp_boot_other_cpus() argument
256 pagedir, kernelEntry, virtKernelArgs, i); in arch_smp_boot_other_cpus()
|
| /haiku/src/system/boot/platform/efi/arch/x86_64/ |
| H A D | arch_smp_64.cpp | 69 uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs, in prepare_trampoline_args() argument
86 args->pml4 = pagedir; in prepare_trampoline_args()
|