1/* 2 * Copyright (c) 2014, University of Washington. 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, CAB F.78, Universitaetstr. 6, CH-8092 Zurich. 8 * Attn: Systems Group. 9 */ 10 11#ifndef VTD_DEBUG_H_ 12#define VTD_DEBUG_H_ 13 14/***************************************************************** 15 * Debug printer and its power-switch: 16 *****************************************************************/ 17 18//#define VTD_DEBUG_ 1 19 20#if defined(VTD_DEBUG_) || defined(GLOBAL_DEBUG) 21#define VTD_DEBUG(x...) printf("vtd: " x) 22#else 23#define VTD_DEBUG(x...) ((void)0) 24#endif 25 26#endif // VTD_DEBUG_H_ 27