diff options
| author | px4dev <px4@purgatory.org> | 2013-01-11 00:39:22 -0800 |
|---|---|---|
| committer | px4dev <px4@purgatory.org> | 2013-01-11 00:39:22 -0800 |
| commit | ccf9882dc5dbe38b621110f82c4e2ff63aef900e (patch) | |
| tree | 18b0af628174bf27815dd52a376c8b72b6a626d4 /nuttx/sched/sched_releasetcb.c | |
| parent | 40dfbf0d977729951d73bcb089ca8f89c7b83efe (diff) | |
| parent | 0f2decb70f505b108999fcdb80e89d7aae6760ce (diff) | |
| download | px4-firmware-ccf9882dc5dbe38b621110f82c4e2ff63aef900e.tar.gz px4-firmware-ccf9882dc5dbe38b621110f82c4e2ff63aef900e.tar.bz2 px4-firmware-ccf9882dc5dbe38b621110f82c4e2ff63aef900e.zip | |
Merge branch 'master' into nuttx-merge-5447
Diffstat (limited to 'nuttx/sched/sched_releasetcb.c')
| -rw-r--r-- | nuttx/sched/sched_releasetcb.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/nuttx/sched/sched_releasetcb.c b/nuttx/sched/sched_releasetcb.c index 21837262d..0557c829b 100644 --- a/nuttx/sched/sched_releasetcb.c +++ b/nuttx/sched/sched_releasetcb.c @@ -171,6 +171,12 @@ int sched_releasetcb(FAR _TCB *tcb) (void)env_release(tcb); + /* Release this thread's reference to the address environment */ + +#ifdef CONFIG_ADDRENV + ret = up_addrenv_release(tcb); +#endif + /* And, finally, release the TCB itself */ sched_free(tcb); |