#ifndef __HDMI_DBG_H__
#define __HDMI_DBG_H__
#include "drv_types.h"
#include <drv_debug.h>
#include <linux/kernel.h>  /* printk */

#define bHDMIDBG    ((*(UINT32*)DBGCONFIG1ADDR)&DBGCFG_HDMI)
#define bSwitchDBG  ((*(UINT32*)DBGCONFIG2ADDR)&DBGCFG_CECSWITCH)
#define bCECDBG     ((*(UINT32*)DBGCONFIG1ADDR)&DBGCFG_CEC)

//#define bHDMIDBG    1
//#define bSwitchDBG  1
//#define bCECDBG     1


#ifdef __KERNEL__
#ifndef CONFIG_SUPPORT_DEBUG_MESSAGE
#define hdmidbg(fmt,args...)
#define switchdbg(fmt,args...)
#define cecdbg(fmt,args...)
#else
#define hdmidbg(fmt,args...)        do{ if (bHDMIDBG) printk("[H] " fmt, ## args); } while(0)
#define switchdbg(fmt,args...)      do{ if (bSwitchDBG) printk("[HS] " fmt, ## args); } while(0)
#define cecdbg(fmt,args...)    do{ if (bCECDBG) printk("[CEC] " fmt, ## args); } while(0)
#endif
#endif

#endif  /* __HDMI_DBG_H__ */