Symbol: IFRAME_TYPE_MASK
src/system/kernel/arch/x86/arch_debug.cpp
552
return ((previousFrame & ~(addr_t)IFRAME_TYPE_MASK) == 0
src/system/kernel/arch/x86/arch_thread.cpp
45
if ((previousFrame & ~(addr_t)IFRAME_TYPE_MASK) == 0) {