Symbol: smp_boot_other_cpus
src/system/boot/platform/bios_ia32/smp.cpp
383
smp_boot_other_cpus(void (*entryFunc)(void))
src/system/boot/platform/efi/smp.cpp
51
smp_boot_other_cpus(addr_t pageTable,
src/system/boot/platform/riscv/smp.cpp
35
smp_boot_other_cpus(uint64 pageTable, uint64 kernel_entry)