| // 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_ARM64_H_ |
| #define SRC_DEVELOPER_DEBUG_ZXDB_CONSOLE_FORMAT_REGISTER_ARM64_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 ARM64-specific formatting of the registesrs of a given category. Returns true if this |
| // category was handled. False means there is no special ARM64 handling for this category. |
| bool FormatCategoryARM64(const FormatRegisterOptions& options, debug::RegisterCategory category, |
| const std::vector<debug::RegisterValue>& registers, OutputBuffer* out); |
| |
| } // namespace zxdb |
| |
| #endif // SRC_DEVELOPER_DEBUG_ZXDB_CONSOLE_FORMAT_REGISTER_ARM64_H_ |
