// Copyright 2019 The Fuchsia Authors
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

#ifndef ZIRCON_KERNEL_ARCH_ARM64_INCLUDE_ARCH_ARCH_PERFMON_H_
#define ZIRCON_KERNEL_ARCH_ARM64_INCLUDE_ARCH_ARCH_PERFMON_H_

#include <lib/zircon-internal/device/cpu-trace/arm64-pm.h>

using ArchPmuProperties = perfmon::Arm64PmuProperties;
using ArchPmuConfig = perfmon::Arm64PmuConfig;

#endif  // ZIRCON_KERNEL_ARCH_ARM64_INCLUDE_ARCH_ARCH_PERFMON_H_