Symbol: arch_smp_boot_other_cpus
headers/private/kernel/boot/platform/efi/arch_smp.h
39
void arch_smp_boot_other_cpus(addr_t pageTable, uint64 kernelEntry, addr_t virtKernelArgs);
src/system/boot/platform/efi/smp.cpp
57
arch_smp_boot_other_cpus(pageTable,