Symbol: is_double_fault_stack_address
src/system/kernel/arch/riscv64/arch_debug.cpp
468
is_double_fault_stack_address(int32 cpu, addr_t address)
src/system/kernel/arch/x86/arch_debug.cpp
517
is_double_fault_stack_address(int32 cpu, addr_t address)