/**
 * @file   dbg.h
 * @brief  Debug header file for secure driver
 *
 * Copyright (c) 2012 Samsung Electronics Co., Ltd.
 */

#ifndef __DBG_H__
#define __DBG_H__

#include "DrApi/DrApiLogging.h"

#undef DR_DEBUG

//#define DUMMY_FUNCTION()	do {} while (FALSE)

#define sec_err(s)	do {drDbgPrintf("[Error]:SecDrv:: "); dbgSN(s);} while (FALSE)
#define sec_errh(s, h)	do {drDbgPrintf("[Error]:SecDrv:: "); dbgSHN(s, h);} while (FALSE)

#ifdef DR_DEBUG
#define sec_dbg(s)	do {drDbgPrintf("SecDrv:: "); dbgSN(s);} while (FALSE)
#define sec_dbgh(s, h)	do {drDbgPrintf("SecDrv:: "); dbgSHN(s, h);} while (FALSE)
#else
#define sec_dbg(s)	DUMMY_FUNCTION()
#define sec_dbgh(s, h)	DUMMY_FUNCTION()
#endif

#endif