14 #ifndef DRV_WB_WATCHDOG_H_
15 #define DRV_WB_WATCHDOG_H_
#define WATCHDOG_CMD_FEED
Feed the dog.
static void wdogSetTopCount(uint16_t counterValue)
Set the watchdog top-counter in seconds.
static void wdogReboot()
Reboot the FPGA (hard)
#define WATCHDOG
Watchdog device.
#define WATCHDOG_CMD_REBOOT
Reboot now.
This file assigns all device structures to memory mapped structures.
static void wdogFeed()
Feed the watchdog.