Home
last modified time | relevance | path

Searched refs:virtKernelArgs (Results 1 – 12 of 12) sorted by relevance

/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_start.cpp70 addr_t virtKernelArgs; in arch_start_kernel() local
72 &virtKernelArgs); in arch_start_kernel()
164 smp_boot_other_cpus(pageDirectory, kernelEntry, virtKernelArgs); in arch_start_kernel()
169 pageDirectory, (uint32_t)virtKernelArgs, (uint32_t)kernelEntry, in arch_start_kernel()
173 enter_kernel(pageDirectory, virtKernelArgs, kernelEntry, in arch_start_kernel()
H A Darch_smp_32.cpp67 uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs, in prepare_trampoline_args() argument
86 args->kernel_args = virtKernelArgs; in prepare_trampoline_args()
H A Darch_smp.cpp43 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/
H A Dsmp.cpp52 addr_t kernelEntry, addr_t virtKernelArgs) in smp_boot_other_cpus() argument
58 kernelEntry, virtKernelArgs); in smp_boot_other_cpus()
H A Dsmp.h23 addr_t kernelEntry, addr_t virtKernelArgs);
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_start.cpp54 addr_t virtKernelArgs; in arch_start_kernel() local
56 &virtKernelArgs); in arch_start_kernel()
155 smp_boot_other_cpus(satp, kernelEntry, virtKernelArgs); in arch_start_kernel()
163 arch_enter_kernel(satp, virtKernelArgs, kernelEntry, in arch_start_kernel()
H A Darch_smp.cpp203 arch_smp_boot_other_cpus(uint64 satp, uint64 kernel_entry, addr_t virtKernelArgs) in arch_smp_boot_other_cpus() argument
/haiku/headers/private/kernel/boot/platform/efi/
H A Darch_smp.h35 void arch_smp_boot_other_cpus(uint64 satp, uint64 kernelEntry, addr_t virtKernelArgs);
37 void arch_smp_boot_other_cpus(uint32 pml4, uint64 kernelEntry, addr_t virtKernelArgs);
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_start.cpp92 addr_t virtKernelArgs; in arch_start_kernel() local
94 &virtKernelArgs); in arch_start_kernel()
214 final_ttbr0, (uint32_t)virtKernelArgs, (uint32_t)kernelEntry, in arch_start_kernel()
217 enter_kernel(final_ttbr0, virtKernelArgs, kernelEntry, in arch_start_kernel()
H A Darch_smp.cpp64 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/arch/x86_64/
H A Darch_smp_64.cpp69 uint32 pagedir, uint64 kernelEntry, addr_t virtKernelArgs, in prepare_trampoline_args() argument
88 args->kernel_args = virtKernelArgs; in prepare_trampoline_args()
/haiku/src/system/boot/platform/efi/arch/arm64/
H A Darch_smp.cpp53 arch_smp_boot_other_cpus(uint32 pml4, uint64 kernelEntry, addr_t virtKernelArgs) in arch_smp_boot_other_cpus() argument