// 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_DEVICES_BUS_DRIVERS_PLATFORM_CPU_TRACE_H_
#define SRC_DEVICES_BUS_DRIVERS_PLATFORM_CPU_TRACE_H_

#include <zircon/compiler.h>

#include <ddk/device.h>

// This value is passed to bti_create as a marker; it does not have a particular
// meaning to anything in the system, it just needs to be unique.
// The value chosen here is the same used by acpi/include/cpu-trace.h.
// "CPUTRACE"
#define CPU_TRACE_BTI_ID 0x4350555452414345UL

// Publish a pbus device under sysroot, with access to the given BTI handle.
// Unconditionally takes ownership of the BTI handle.
zx_status_t publish_cpu_trace(zx_handle_t bti, zx_device_t* sys_root);

#endif  // SRC_DEVICES_BUS_DRIVERS_PLATFORM_CPU_TRACE_H_