Searched refs:kernel_entry (Results 1 – 5 of 5) sorted by relevance
203 arch_smp_boot_other_cpus(uint64 satp, uint64 kernel_entry, addr_t virtKernelArgs) in arch_smp_boot_other_cpus() argument205 dprintf("arch_smp_boot_other_cpus(%p, %p)\n", (void*)satp, (void*)kernel_entry); in arch_smp_boot_other_cpus()221 .kernelEntry = (KernelEntry)kernel_entry in arch_smp_boot_other_cpus()
44 uint32 kernel_entry; // Kernel entry point member85 args->kernel_entry = kernelEntry; in prepare_trampoline_args()
46 uint64 kernel_entry; // Kernel entry point member87 args->kernel_entry = kernelEntry; in prepare_trampoline_args()
49 void smp_boot_other_cpus(uint64 pageTable, uint64 kernel_entry);
35 smp_boot_other_cpus(uint64 pageTable, uint64 kernel_entry) in smp_boot_other_cpus() argument