/* This library provides generic watchdog timer management functionality.
 * See the comments in <timers.h> for details.
 */

#include <timers.h>		/* definitions and function prototypes */
#include <sys/null.h>
