static __attribute__

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.