// Copyright 2017 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_VIRTUALIZATION_BIN_VMM_ARCH_ARM64_PL031_H_
#define SRC_VIRTUALIZATION_BIN_VMM_ARCH_ARM64_PL031_H_

#include <mutex>

#include "src/virtualization/bin/vmm/io.h"
#include "src/virtualization/bin/vmm/platform_device.h"

class Guest;

// Implements the PL031 RTC.
class Pl031 : public IoHandler, public PlatformDevice {
 public:
  zx_status_t Init(Guest* guest);

  // IoHandler interface.
  zx_status_t Read(uint64_t addr, IoValue* value) const override;
  zx_status_t Write(uint64_t addr, const IoValue& value) override;

  // PlatformDevice interface.
  zx_status_t ConfigureDtb(void* dtb) const override;
};

#endif  // SRC_VIRTUALIZATION_BIN_VMM_ARCH_ARM64_PL031_H_