diff --git a/include/nuttx/wdog.h b/include/nuttx/wdog.h index 4e53ca2446..30a6256a04 100644 --- a/include/nuttx/wdog.h +++ b/include/nuttx/wdog.h @@ -27,6 +27,7 @@ #include +#include #include #include @@ -69,7 +70,7 @@ struct wdog_s #ifdef CONFIG_PIC FAR void *picbase; /* PIC base address */ #endif - int lag; /* Timer associated with the delay */ + sclock_t lag; /* Timer associated with the delay */ wdparm_t arg; /* Callback argument */ }; @@ -121,7 +122,7 @@ extern "C" * ****************************************************************************/ -int wd_start(FAR struct wdog_s *wdog, int32_t delay, +int wd_start(FAR struct wdog_s *wdog, sclock_t delay, wdentry_t wdentry, wdparm_t arg); /**************************************************************************** diff --git a/sched/wdog/wd_start.c b/sched/wdog/wd_start.c index 80d55e7ecd..a91cfbbec7 100644 --- a/sched/wdog/wd_start.c +++ b/sched/wdog/wd_start.c @@ -170,13 +170,13 @@ static inline void wd_expiration(void) * ****************************************************************************/ -int wd_start(FAR struct wdog_s *wdog, int32_t delay, +int wd_start(FAR struct wdog_s *wdog, sclock_t delay, wdentry_t wdentry, wdparm_t arg) { FAR struct wdog_s *curr; FAR struct wdog_s *prev; FAR struct wdog_s *next; - int32_t now; + sclock_t now; irqstate_t flags; /* Verify the wdog and setup parameters */