Lines Matching refs:SDK_TASSERTMSG
415 SDK_TASSERTMSG(t, "Cannot remove thread from list."); in OSi_RemoveThreadFromList()
565 SDK_TASSERTMSG(OSi_IRQ_STACKSIZE > 0, "IRQ STACKSIZE must be >0"); in OS_InitThread()
626 SDK_TASSERTMSG(OSi_GetCurrentThread(), "thread system were not initialized"); in OS_CreateThread()
627 SDK_TASSERTMSG(OS_THREAD_PRIORITY_MIN <= prio in OS_CreateThread()
629 SDK_TASSERTMSG(stackSize % STACK_ALIGN == 0, "stack size must be aligned by %d", STACK_ALIGN); in OS_CreateThread()
630 SDK_TASSERTMSG((u32)stack % STACK_ALIGN == 0, "stack must be aligned by %d", STACK_ALIGN); in OS_CreateThread()
638 SDK_TASSERTMSG(index >= 0, "OS_CreateThread: thread entry not allocated"); in OS_CreateThread()
1613 SDK_TASSERTMSG((offset & 3) == 0, "Offset must be aligned by 4"); in OS_SetThreadStackWarningOffset()
1614 SDK_TASSERTMSG(OS_GetThreadContext(thread)->sp > thread->stackTop + offset, in OS_SetThreadStackWarningOffset()
1643 SDK_TASSERTMSG(OS_THREAD_PRIORITY_MIN <= prio in OS_SetThreadPriority()
1645 SDK_TASSERTMSG(thread != &OSi_IdleThread, "cannot change idle thread priority."); in OS_SetThreadPriority()
1698 SDK_TASSERTMSG(thread, "OS_GetThreadPriority: bad thread"); in OS_GetThreadPriority()
1717 SDK_TASSERTMSG(OS_IsTickAvailable() in OS_Sleep()
1719 SDK_TASSERTMSG(OSi_IsThreadInitialized, "OS_Sleep: thread system not initialized."); in OS_Sleep()