// 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_