Symbol: arch_smp_get_current_cpu
headers/private/kernel/boot/platform/efi/arch_smp.h
37
int arch_smp_get_current_cpu(void);
src/system/boot/platform/efi/smp.cpp
39
return arch_smp_get_current_cpu();