| // 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" |
| #include "src/developer/debug/shared/register_info.h" |
| #include "src/developer/debug/shared/register_value.h" |
| |
| namespace zxdb { |
| |
| struct FormatRegisterOptions; |
| class OutputBuffer; |
| |
| // Does x64-specific formatting of the registesrs of a given category. Returns true if this category |
| // was handled. False means their is no special X64 handling for this category. |
| bool FormatCategoryX64(const FormatRegisterOptions& options, debug::RegisterCategory category, |
| const std::vector<debug::RegisterValue>& registers, OutputBuffer* out); |
| |
| } // namespace zxdb |
| |
| #endif // SRC_DEVELOPER_DEBUG_ZXDB_CONSOLE_FORMAT_REGISTER_X64_H_ |
