dump_cookie - Haiku

Symbol: dump_cookie

src/system/kernel/device_manager/devfs.cpp

add_debugger_command_etc("devfs_cookie", &dump_cookie,

src/system/kernel/device_manager/devfs.cpp

remove_debugger_command("devfs_cookie", &dump_cookie);