src/developer/debug/zxdb/console/format_register_x64.h

// Copyright 2018 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef SRC_DEVELOPER_DEBUG_ZXDB_CONSOLE_FORMAT_REGISTER_X64_H_
#define SRC_DEVELOPER_DEBUG_ZXDB_CONSOLE_FORMAT_REGISTER_X64_H_

#include "src/developer/debug/ipc/records.h"

namespace debug_ipc {
struct Register;
}

namespace zxdb {

struct FormatRegisterOptions;
class OutputBuffer;

// Does x64-specific formatting of the registesrs of a given category. Returns true if this catgory
// was handled. False means ther is no special X64 handling for this category.
bool FormatCategoryX64(const FormatRegisterOptions& options, debug_ipc::RegisterCategory category,
                       const std::vector<debug_ipc::Register>& registers, OutputBuffer* out);

}  // namespace zxdb

#endif  // SRC_DEVELOPER_DEBUG_ZXDB_CONSOLE_FORMAT_REGISTER_X64_H_