Searched refs:get_sentinel (Results 1 - 3 of 3) sorted by relevance

/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_smp_32.cpp100 get_sentinel(uint64 trampolineStack) function
H A Darch_smp.cpp45 uint32 get_sentinel(uint64 trampolineStack);
318 while (get_sentinel(trampolineStack) != 0)
/haiku/src/system/boot/platform/efi/arch/x86_64/
H A Darch_smp_64.cpp102 get_sentinel(uint64 trampolineStack) function

Completed in 37 milliseconds