Rename some USB device files

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4645 7fd9a85b-ad96-42d3-883c-3090e2eb8679

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);