Symbol: get_sentinel
src/system/boot/platform/efi/arch/x86/arch_smp_32.cpp
100
get_sentinel(uint64 trampolineStack)
src/system/boot/platform/efi/arch/x86_64/arch_smp_64.cpp
105
get_sentinel(uint64 trampolineStack)