dump_cookie
add_debugger_command_etc("devfs_cookie", &dump_cookie,
remove_debugger_command("devfs_cookie", &dump_cookie);