#ifndef _SISWDOG_H
#define _SISWDOG_H

#include <linux/ioctl.h>
#include <drv_wdog.h>
#include <drv_devices.h>

#define DebugPrint(fmt,args...)		printk(KERN_NOTICE fmt "\n",## args)

#define WDT0_Ctl_Reg                0xbe0f0300
    #define WDT0_Disable_bit        31
    #define WDT0_Refresh_bit        30
    #define WDT1_Refresh_bit        29
    #define WDT2_Refresh_bit        28
#define WDT1_Ctl_Reg                0xbe0f0304
    #define WDT1_Eisable_bit        31
#define WDT2_Ctl_Reg                0xbe0f0308
    #define WDT2_Eisable_bit        31
#define WDT3_Ctl_Reg                0xbe0f030c


#define SISWDOG_WarmReset	(0x1 << 29)
#define SISWDOG_ColdReset	(0x2 << 29)
#define SISWDOG_RTCReset	(0x3 << 29)

#define SISWDOG3_WarmReset	(0xD123ABCD)
#define SISWDOG3_ColdReset		(0xE123ABCE)
#define SISWDOG3_RTCReset		(0xF123ABCF)
#endif