/* Copyright 2015 The ChromiumOS Authors
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */
#ifndef __EC_CHIP_G_LOADER_DEBUG_PRINTF_H
#define __EC_CHIP_G_LOADER_DEBUG_PRINTF_H

__attribute__((__format__(__printf__, 1, 2)))
void debug_printf(const char *format, ...);

#ifdef DEBUG
#define VERBOSE debug_printf
#else
#define VERBOSE(...)
#endif

#endif /* __EC_CHIP_G_LOADER_DEBUG_PRINTF_H */