Added functionality to start PCI driver to Kaluga.
[barrelfish] / usr / kaluga / debug.h
1 /**
2  * \file
3  * \brief Kaluga Debug Macros
4  */
5
6 /*
7  * Copyright (c) 2011, 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 KALUGA_DEBUG_H_
16 #define KALUGA_DEBUG_H_
17
18 #define KALUGA_SERVICE_DEBUG 1
19
20 #if defined(KALUGA_SERVICE_DEBUG) || defined(GLOBAL_DEBUG)
21 #define KALUGA_DEBUG(x...) debug_printf(x)
22 #else
23 #define KALUGA_DEBUG(x...) ((void)0)
24 #endif
25
26 #endif // KALUGA_DEBUG_H_