/* This library provides generic watchdog timer management functionality.
* See the comments in <minix/timers.h> for details.
*/
#include <minix/timers.h> /* definitions and function prototypes */
#include <sys/null.h>