get_sentinel - Haiku

Symbol: get_sentinel

src/system/boot/platform/efi/arch/x86/arch_smp.cpp

while (get_sentinel(trampolineStack) != 0)

src/system/boot/platform/efi/arch/x86/arch_smp.cpp

uint32 get_sentinel(uint64 trampolineStack);