From b48ca00cd5aa48799cf97c6f9edab35c8954a82a Mon Sep 17 00:00:00 2001
From: Dimitry Kloper <dikloper@cisco.com>
Date: Tue, 5 Jan 2016 07:58:04 -0600
Subject: [PATCH] The delay parameter has 'int' type while explicit int32_t is
 used in sigtimedwait() (sig_timedwait.c) This can lead to wrong argument for
 systems that have default int size different than int32 (namely AVR).

---
 Documentation         | 2 +-
 include/nuttx/wdog.h  | 2 +-
 sched/wdog/wd_start.c | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Documentation b/Documentation
index 92c4a17b043..b4e33ca73c4 160000
--- a/Documentation
+++ b/Documentation
@@ -1 +1 @@
-Subproject commit 92c4a17b043e87524a926ad86b6170407c5b3ec0
+Subproject commit b4e33ca73c44aaca5f6986650e6d215a4d5adcab
diff --git a/include/nuttx/wdog.h b/include/nuttx/wdog.h
index a5e6945d5b1..beb13880933 100644
--- a/include/nuttx/wdog.h
+++ b/include/nuttx/wdog.h
@@ -167,7 +167,7 @@ extern "C"
 
 WDOG_ID wd_create(void);
 int     wd_delete(WDOG_ID wdog);
-int     wd_start(WDOG_ID wdog, int delay, wdentry_t wdentry, int argc, ...);
+int     wd_start(WDOG_ID wdog, int32_t delay, wdentry_t wdentry, int argc, ...);
 int     wd_cancel(WDOG_ID wdog);
 int     wd_gettime(WDOG_ID wdog);
 
diff --git a/sched/wdog/wd_start.c b/sched/wdog/wd_start.c
index de3b05603eb..f69a4d649c3 100644
--- a/sched/wdog/wd_start.c
+++ b/sched/wdog/wd_start.c
@@ -225,7 +225,7 @@ static inline void wd_expiration(void)
  *
  ****************************************************************************/
 
-int wd_start(WDOG_ID wdog, int delay, wdentry_t wdentry,  int argc, ...)
+int wd_start(WDOG_ID wdog, int32_t delay, wdentry_t wdentry,  int argc, ...)
 {
   va_list ap;
   FAR struct wdog_s *curr;