mirror of
https://github.com/apache/nuttx.git
synced 2026-10-12 00:30:23 +00:00
sched: add some DEBUGASSERT when nxsched_release_tcb()
Signed-off-by: ligd <liguiding1@xiaomi.com>
This commit is contained in:
parent
8c4e88fd4b
commit
dfa24a056e
1 changed files with 4 additions and 0 deletions
|
|
@ -107,6 +107,10 @@ int nxsched_release_tcb(FAR struct tcb_s *tcb, uint8_t ttype)
|
|||
|
||||
if (tcb)
|
||||
{
|
||||
/* Released tcb shouldn't on any list */
|
||||
|
||||
DEBUGASSERT(tcb->flink == NULL && tcb->blink == NULL);
|
||||
|
||||
#ifndef CONFIG_DISABLE_POSIX_TIMERS
|
||||
/* Release any timers that the task might hold. We do this
|
||||
* before release the PID because it may still be trying to
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue