Symbol: arch_smp_find_cpu
headers/private/kernel/boot/platform/efi/arch_smp.h
21
platform_cpu_info* arch_smp_find_cpu(uint32 phandle);
src/system/boot/platform/efi/arch/riscv64/arch_dtb.cpp
91
platform_cpu_info* cpuInfo = arch_smp_find_cpu(phandle);