Searched refs:kernel_entry (Results 1 - 5 of 5) sorted by relevance

/haiku/src/system/boot/platform/riscv/
H A Dsmp.h49 void smp_boot_other_cpus(uint64 pageTable, uint64 kernel_entry);
H A Dsmp.cpp35 smp_boot_other_cpus(uint64 pageTable, uint64 kernel_entry) argument
/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_smp_32.cpp44 uint32 kernel_entry; // Kernel entry point member in struct:trampoline_args
85 args->kernel_entry = kernelEntry;
/haiku/src/system/boot/platform/efi/arch/x86_64/
H A Darch_smp_64.cpp46 uint64 kernel_entry; // Kernel entry point member in struct:long_trampoline_args
87 args->kernel_entry = kernelEntry;
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_smp.cpp203 arch_smp_boot_other_cpus(uint64 satp, uint64 kernel_entry, addr_t virtKernelArgs) argument
205 dprintf("arch_smp_boot_other_cpus(%p, %p)\n", (void*)satp, (void*)kernel_entry);
221 .kernelEntry = (KernelEntry)kernel_entry

Completed in 85 milliseconds