xiaoxiang781216 commented on a change in pull request #1545:
URL: https://github.com/apache/incubator-nuttx/pull/1545#discussion_r468703707
##########
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:
I remove WDOG_ID from the list because wdog API is for OS internal use
and then shouldn't exist in NuttxUserGuide.html. Even
WDOG_ID/wd_create/wd_delete is removed from API, but the usage of rest
functions is still similar to VxWork counterpart(actually, the difference
already exist e.g. wd_create v.s. wdCreate before this PR). So it isn't harm to
name VxWork in the document.
----------------------------------------------------------------
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
