1/* 2 * Copyright (c) 2017, ETH Zurich. 3 * All rights reserved. 4 * 5 * This file is distributed under the terms in the attached LICENSE file. 6 * If you do not find this file, copies can be found by writing to: 7 * ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group. 8 */ 9 10#ifndef __DRIVERKIT_DEBUG__ 11#define __DRIVERKIT_DEBUG__ 12 13//#define ENABLE_DRIVERKIT_DEBUG 1 14 15#if defined(ENABLE_DRIVERKIT_DEBUG) || defined(GLOBAL_DEBUG) 16#define DRIVERKIT_DEBUG(x...) debug_printf("[dkit] " x) 17#else 18#define DRIVERKIT_DEBUG(x...) ((void)0) 19#endif 20 21#endif // __DRIVERKIT_DEBUG__ 22