| // 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" | |
| namespace debug_ipc { | |
| struct Register; | |
| } | |
| namespace zxdb { | |
| struct FormatRegisterOptions; | |
| class OutputBuffer; | |
| // Does ARM64-specific formatting of the registesrs of a given category. Returns true if this | |
| // catgory was handled. False means ther is no special ARM64 handling for this category. | |
| bool FormatCategoryARM64(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_ARM64_H_ |