Symbol: dump_iframes
src/system/kernel/arch/riscv64/arch_debug.cpp
1153
add_debugger_command("iframe", &dump_iframes,
src/system/kernel/arch/x86/arch_debug.cpp
1426
add_debugger_command("iframe", &dump_iframes,