static __attribute__((always_inline)) void wdt_enable(uint8_t value)
Enable the watchdog timer, configuring it for expiry after
timeout (which is a combination of the
WDP0 through WDP2
bits to write into the WDTCR register; For those
devices that have a WDTCSR register, it uses the
combination of the WDP0 through
WDP3 bits).
See also the symbolic constants WDTO_15MS et al.