| 257 | ****************************************************************************/ |
| 258 | |
| 259 | void nxtask_uninit(FAR struct tcb_s *tcb) |
| 260 | { |
| 261 | /* The TCB was added to the inactive task list by |
| 262 | * nxtask_setup_scheduler(). |
| 263 | */ |
| 264 | |
| 265 | dq_rem((FAR dq_entry_t *)tcb, list_inactivetasks()); |
| 266 | |
| 267 | /* Release all resources associated with the TCB... Including the TCB |
| 268 | * itself. |
| 269 | */ |
| 270 | |
| 271 | nxsched_release_tcb(tcb, tcb->flags & TCB_FLAG_TTYPE_MASK); |
| 272 | } |
no test coverage detected