headers/private/kernel/arch/x86/arch_smp.h
headers/private/kernel/boot/platform/efi/arch_smp.h