smp_boot_other_cpus
smp_boot_other_cpus(long_smp_start_kernel);
extern void smp_boot_other_cpus(void (*entryFunc)(void));
smp_boot_other_cpus(smp_start_kernel);
smp_boot_other_cpus(ttbr1, kernelEntry, (addr_t)&gKernelArgs);
smp_boot_other_cpus(satp, kernelEntry, virtKernelArgs);
smp_boot_other_cpus(pageDirectory, kernelEntry, virtKernelArgs);
smp_boot_other_cpus(final_pml4, kernelEntry, (addr_t)&gKernelArgs);
extern void smp_boot_other_cpus(addr_t pageTable,
void smp_boot_other_cpus(uint64 pageTable, uint64 kernel_entry);
smp_boot_other_cpus(satp, image->elf_header.e_entry);