OrgApache/incubator-nuttx
OrgApache
/
incubator-nuttx
mirror of https://github.com/apache/incubator-nuttx.git
1
0
Fork 0
Code Issues Releases Wiki Activity

Fix a DEBUGASSERTion

This commit is contained in:
Gregory Nutt 2015-08-21 12:33:14 -06:00
parent 89b5ef8d35
commit 0b2fbd7a2c
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arch

@ -1 +1 @@
Subproject commit 94705f285e98a1ec5ca66027be01eff2e1189e27 Subproject commit b2709988e66303b69358f7b7a910905a6a7ff888

2
configs

@ -1 +1 @@
Subproject commit e3f37812a9a7595a7ddab1a625ebe857d104beb2 Subproject commit fda2b2266521c5cf312aa37ed3c2cd03a4a5c1db

6
sched/wdog/wd_create.c
View File

@ -115,18 +115,18 @@ WDOG_ID wd_create (void)
/* Did we get one? */ /* Did we get one? */
if (wdog) if (wdog != NULL)
{ {
/* Yes.. decrement the count of free, pre-allocated timers (all /* Yes.. decrement the count of free, pre-allocated timers (all
* with interrupts disabled). * with interrupts disabled).
*/ */
DEBUGASSERT(g_wdnfree > 0 && wdog != NULL); DEBUGASSERT(g_wdnfree > 0);
g_wdnfree--; g_wdnfree--;
/* Clear the forward link and all flags */ /* Clear the forward link and all flags */
wdog->next = NULL; wdog->next = NULL;
wdog->flags = 0; wdog->flags = 0;
} }
else else