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