1/**
2 * \file
3 * \brief Essential capability definitions.
4 */
5
6/*
7 * Copyright (c) 2007, 2008, 2009, 2010, 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
15#ifndef BARRELFISH_KPI_SYS_DEBUG_H
16#define BARRELFISH_KPI_SYS_DEBUG_H
17
18enum debug_message {
19    DEBUG_CONTEXT_COUNTER_RESET,
20    DEBUG_CONTEXT_COUNTER_READ,
21    DEBUG_TIMESLICE_COUNTER_READ,
22    DEBUG_FLUSH_CACHE,
23    DEBUG_FLUSH_TLB,
24    DEBUG_SEND_IPI,
25    DEBUG_SET_BREAKPOINT,
26    DEBUG_SEND_NOTIFY,
27    DEBUG_SLEEP,
28    DEBUG_HARDWARE_TIMER_READ,
29    DEBUG_HARDWARE_TIMER_HERTZ_READ,
30    DEBUG_HARDWARE_GLOBAL_TIMER_LOW,
31    DEBUG_HARDWARE_GLOBAL_TIMER_HIGH,
32    DEBUG_GET_TSC_PER_MS,
33    DEBUG_GET_APIC_TIMER,
34    DEBUG_GET_APIC_TICKS_PER_SEC,
35    DEBUG_FEIGN_FRAME_CAP,
36    DEBUG_TRACE_PMEM_CTRL,
37    DEBUG_GET_APIC_ID,
38    DEBUG_CREATE_IRQ_SRC_CAP,
39    DEBUG_GET_MDB_SIZE,
40    DEBUG_PRINT_MDB_COUNTERS,
41};
42
43#endif //BARRELFISH_KPI_SYS_DEBUG_H
44