1/**
2 * \file
3 * \brief Intel 64 performance monitoring infrastructure.
4 */
5
6/*
7 * Copyright (c) 2007, 2008, 2009, 2010, 2013, ETH Zurich.
8 * All rights reserved.
9 *
10 * This file is distributed under the terms in the attached LICENSE file.
11 * If you do not find this file, copies can be found by writing to:
12 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
13 */
14#include <errors/errno.h>
15
16#ifndef PERFMON_INTEL_H
17#define PERFMON_INTEL_H
18
19errval_t perfmon_intel_init(void);
20
21void perfmon_intel_measure_start(uint8_t event, uint8_t umask, bool os,
22                                 uint8_t idx, bool intr);
23uint64_t perfmon_intel_measure_read(void);
24void perfmon_intel_measure_write(uint64_t val);
25void perfmon_intel_reset(void);
26
27#endif
28