Symbol: is_kernel_stack_address
src/system/kernel/arch/riscv64/arch_debug.cpp
480
is_kernel_stack_address(Thread* thread, addr_t address)
src/system/kernel/arch/x86/arch_debug.cpp
526
is_kernel_stack_address(Thread* thread, addr_t address)