Rename some USB device files

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@4645 42af7a65-404d-4744-a932-0658087f49c3

1 files changed, 7 insertions, 0 deletions

diff --git a/nuttx/sched/task_delete.c b/nuttx/sched/task_delete.c
index e5244a0b8..5448260d5 100644
--- a/nuttx/sched/task_delete.c
+++ b/nuttx/sched/task_delete.c
@@ -179,6 +179,13 @@ int task_delete(pid_t pid)
 
   sched_unlock();
 
+  /* Since all tasks pass through this function as the final step in their
+   * exit sequence, this is an appropriate place to inform any instrumentation
+   * layer that the task no longer exists.
+   */
+
+  sched_note_stop(tcb);
+
   /* Deallocate its TCB */
 
   sched_releasetcb(dtcb);