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