diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html index d4cb2ed1654..60f8dc825bf 100644 --- a/Documentation/NuttxPortingGuide.html +++ b/Documentation/NuttxPortingGuide.html @@ -2838,7 +2838,7 @@ int up_timer_start(FAR const struct timespec *ts);
     #include <nuttx/wdog.h>
     int wd_start(FAR struct wdog_s *wdog, int delay,
-                 wdentry_t wdentry, int argc, ....);
+                 wdentry_t wdentry, wdparm_t arg);
 

@@ -2860,11 +2860,10 @@ wd_start() on a given watchdog ID has any effect.

  • wdog. Watchdog ID
  • delay. Delay count in clock ticks
  • wdentry. Function to call on timeout -
  • argc. The number of uint32_t parameters to pass to wdentry. -
  • .... uint32_t size parameters to pass to wdentry +
  • arg. The parameter to pass to wdentry.

    -NOTE: All parameters must be of type wdparm_t. +NOTE: The parameter must be of type wdparm_t.

    @@ -2955,24 +2954,14 @@ VxWorks provides the following comparable interface: When a watchdog expires, the callback function with this type is called:

    -    typedef void (*wdentry_t)(int argc, wdparm_t arg1, ...);
    +    typedef void (*wdentry_t)(wdparm_t arg);
     

    - Where argc is the number of wdparm_t type arguments that follow. -

    -

    - The arguments are passed as scalar wdparm_t values. For systems where the sizeof(pointer) < sizeof(uint32_t), the following union defines the alignment of the pointer within the uint32_t. For example, the SDCC MCS51 general pointer is 24-bits, but uint32_t is 32-bits (of course). + The argument is passed as scalar wdparm_t values. For systems where the sizeof(pointer) < sizeof(uint32_t), the following union defines the alignment of the pointer within the uint32_t. For example, the SDCC MCS51 general pointer is 24-bits, but uint32_t is 32-bits (of course).

    We always have sizeof(pointer) <= sizeof(uintptr_t) by definition.