patacongo commented on a change in pull request #1545:
URL: https://github.com/apache/incubator-nuttx/pull/1545#discussion_r468658886
##########
File path: Documentation/NuttxUserGuide.html
##########
@@ -10139,7 +10139,6 @@ <h3><a name="shmdt">2.12.4 <code>shmdt</code></a></h3>
<li>struct tcb_s
<li>mqd_t
<li>sem_t
-<li>WDOG_ID
<li>pthread_key_t
Review comment:
Should this be replaced with struct wdog_s versus just removing WDOG_ID?
NOTE: The wdog interfaces derive from the VxWorks wdog interfaces which
does use the type WDOG_ID. So this introduces another deviation from the
interface definitions. VxWorks is not a standard we have to follow, however,
so that is not necessarily a problem but we probably should remove the
statement that these interface functions derive from VxWorks.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
