IRQ: added irq source capability and make the inthandler setup use it
[barrelfish] / include / barrelfish_kpi / sys_debug.h
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, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
13  */
14
15 #ifndef BARRELFISH_KPI_SYS_DEBUG_H
16 #define BARRELFISH_KPI_SYS_DEBUG_H
17
18 enum debug_message {
19     DEBUG_CONTEXT_COUNTER_RESET,
20     DEBUG_CONTEXT_COUNTER_READ,
21     DEBUG_TIMESLICE_COUNTER_READ,
22     DEBUG_FLUSH_CACHE,
23     DEBUG_SEND_IPI,
24     DEBUG_SET_BREAKPOINT,
25     DEBUG_SEND_NOTIFY,
26     DEBUG_SLEEP,
27     DEBUG_HARDWARE_TIMER_READ,
28     DEBUG_HARDWARE_TIMER_HERTZ_READ,
29     DEBUG_HARDWARE_GLOBAL_TIMER_LOW,
30     DEBUG_HARDWARE_GLOBAL_TIMER_HIGH,
31     DEBUG_GET_TSC_PER_MS,
32     DEBUG_GET_APIC_TIMER,
33     DEBUG_GET_APIC_TICKS_PER_SEC,
34     DEBUG_FEIGN_FRAME_CAP,
35     DEBUG_TRACE_PMEM_CTRL,
36     DEBUG_GET_APIC_ID,
37     DEBUG_CREATE_IRQ_SRC_CAP
38 };
39
40 #endif //BARRELFISH_KPI_SYS_DEBUG_H