DebugPortPool
remove_debugger_command("ufs_portpool", DebugPortPool);
add_debugger_command("ufs_portpool", DebugPortPool,
static int DebugPortPool(int argc, char** argv);