/* watchd.h */

#ifdef LDEBUG
#include <reg517a.h>
#endif

#define TAKTMHZ 12

#define WATCHD_1100MS 0x80
#define WATCHD_65MS 0
#define WATCHD_512US 0x7F

#ifdef __C51__
#define WATCHD_START(zeitk) WDTREL=(zeitk);SWDT=1
#define WATCHD_RESET() WDT=1;SWDT=1;
#define WATCHD_CLEAR() SWDT=0
#define WATCHD_STATUS_ON (IP0&0x40)
#define WATCHD_STATUS_SET() IP0|=0x40;
#define WATCHD_STATUS_CLR() IP0&=~0x40;
#else
#define WATCHD_START(zeitk)
#define WATCHD_RESET()
#define WATCHD_CLEAR()
#define WATCHD_STATUS_ON
#define WATCHD_STATUS_SET()
#define WATCHD_STATUS_CLR()
#endif