#ifndef RTE_WDT_H__
#define RTE_WDT_H__

extern void RTE_WDT_Enable(void);
extern void RTE_WDT_Disable(void);
extern void RTE_WDT_Clear(void);

#endif /* RTE_WDT_H__ */