2.1.1 static __inline__ __attribute__
static __inline__ __attribute__((__always_inline__)) void wdt_enable(const 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. 
