diff options
Diffstat (limited to 'nuttx/sched/os_internal.h')
| -rw-r--r-- | nuttx/sched/os_internal.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/sched/os_internal.h b/nuttx/sched/os_internal.h index 56a4e8ec6..b07818345 100644 --- a/nuttx/sched/os_internal.h +++ b/nuttx/sched/os_internal.h @@ -259,6 +259,7 @@ extern int sched_reprioritize(FAR _TCB *tcb, int sched_priority); # define sched_reprioritize(tcb,sched_priority) sched_setpriority(tcb,sched_priority) #endif extern FAR _TCB *sched_gettcb(pid_t pid); +extern boolean sched_verifytcb(FAR _TCB *tcb); #if CONFIG_NFILE_DESCRIPTORS > 0 || CONFIG_NSOCKET_DESCRIPTORS > 0 extern int sched_setupidlefiles(FAR _TCB *tcb); |