Summary I found potential bugs in pthread_condclockwait.c Actually, sched_unlock() and wd_cancel() were misplaced. This commit fixes this issue Impact pthread_cond_clockwait() only Testing Tested with ostest with the following configs sabre-6quad:nsh, sabre-6quad:smp, sim:ostest...