teensy-core-4.1/teensy4/avr/wdt.h

// This header file is in the public domain.

#ifndef _AVR_WDT_H_
#define _AVR_WDT_H_

#define WDTO_15MS   0
#define WDTO_30MS   1
#define WDTO_60MS   2
#define WDTO_120MS  3
#define WDTO_250MS  4
#define WDTO_500MS  5
#define WDTO_1S     6
#define WDTO_2S     7
#define WDTO_4S     8
#define WDTO_8S     9

#define wdt_reset()
#define wdt_enable(timeout)
#define wdt_disable()

#endif