1// Copyright 2018 The Fuchsia Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#pragma once
6
7#include <ddk/device.h>
8#include <zircon/compiler.h>
9
10__BEGIN_CDECLS
11
12// This value is passed to bti_create as a marker; it does not have a particular
13// meaning to anything in the system.
14#define CPU_TRACE_BTI_ID 0x8086808680868086ULL
15
16// Publish a pbus device under sysroot, with access to the given BTI handle.
17// Unconditionally takes ownership of the BTI handle.
18zx_status_t publish_cpu_trace(zx_handle_t bti, zx_device_t* sys_root);
19
20__END_CDECLS
21