Lines Matching refs:SDK_ASSERT
103 SDK_ASSERT(OS_TIMER_0 <= id && id <= OS_TIMER_3); in OS_StartTimer()
104 SDK_ASSERT(OS_TIMER_PRESCALER_1 <= preScale && preScale <= OS_TIMER_PRESCALER_1024); in OS_StartTimer()
106 SDK_ASSERT(!OSi_IsTimerReserved(id)); in OS_StartTimer()
119 SDK_ASSERT(OS_TIMER32_01 <= id && id <= OS_TIMER32_23); in OS_StartTimer32()
120 SDK_ASSERT(OS_TIMER_PRESCALER_1 <= preScale && preScale <= OS_TIMER_PRESCALER_1024); in OS_StartTimer32()
122 SDK_ASSERT(!OSi_IsTimerReserved(id)); in OS_StartTimer32()
123 SDK_ASSERT(!OSi_IsTimerReserved(id + 1)); in OS_StartTimer32()
141 SDK_ASSERT(OS_TIMER48_012 <= id && id <= OS_TIMER48_123); in OS_StartTimer48()
142 SDK_ASSERT(OS_TIMER_PRESCALER_1 <= preScale && preScale <= OS_TIMER_PRESCALER_1024); in OS_StartTimer48()
144 SDK_ASSERT(!OSi_IsTimerReserved(id)); in OS_StartTimer48()
145 SDK_ASSERT(!OSi_IsTimerReserved(id + 1)); in OS_StartTimer48()
146 SDK_ASSERT(!OSi_IsTimerReserved(id + 2)); in OS_StartTimer48()
167 SDK_ASSERT(OS_TIMER_PRESCALER_1 <= preScale && preScale <= OS_TIMER_PRESCALER_1024); in OS_StartTimer64()
169 SDK_ASSERT(!OSi_IsTimerReserved(OS_TIMER_0)); in OS_StartTimer64()
170 SDK_ASSERT(!OSi_IsTimerReserved(OS_TIMER_1)); in OS_StartTimer64()
171 SDK_ASSERT(!OSi_IsTimerReserved(OS_TIMER_2)); in OS_StartTimer64()
172 SDK_ASSERT(!OSi_IsTimerReserved(OS_TIMER_3)); in OS_StartTimer64()
205 SDK_ASSERT(OS_TIMER_0 <= id && id <= OS_TIMER_3); in OS_StopTimer()
207 SDK_ASSERT(!OSi_IsTimerReserved(id)); in OS_StopTimer()
222 SDK_ASSERT(OS_TIMER32_01 <= id && id <= OS_TIMER32_23); in OS_StopTimer32()
224 SDK_ASSERT(!OSi_IsTimerReserved(id)); in OS_StopTimer32()
225 SDK_ASSERT(!OSi_IsTimerReserved(id + 1)); in OS_StopTimer32()
236 SDK_ASSERT(OS_TIMER48_012 <= id && id <= OS_TIMER48_123); in OS_StopTimer48()
238 SDK_ASSERT(!OSi_IsTimerReserved(id)); in OS_StopTimer48()
239 SDK_ASSERT(!OSi_IsTimerReserved(id + 1)); in OS_StopTimer48()
240 SDK_ASSERT(!OSi_IsTimerReserved(id + 2)); in OS_StopTimer48()
253 SDK_ASSERT(!OSi_IsTimerReserved(OS_TIMER_0)); in OS_StopTimer64()
254 SDK_ASSERT(!OSi_IsTimerReserved(OS_TIMER_1)); in OS_StopTimer64()
255 SDK_ASSERT(!OSi_IsTimerReserved(OS_TIMER_2)); in OS_StopTimer64()
256 SDK_ASSERT(!OSi_IsTimerReserved(OS_TIMER_3)); in OS_StopTimer64()