1 // Copyright 2017 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/types.h>
9 
10 #ifdef __x86_64__
11 
12 // Intel Processor Trace
13 
14 zx_status_t insntrace_bind(void* ctx, zx_device_t* parent);
15 
16 // Intel Performance Monitor
17 
18 zx_status_t cpuperf_bind(void* ctx, zx_device_t* parent);
19 
20 #endif // __x86_64__
21