Searched refs:OS_TIMER32_23 (Results 1 – 2 of 2) sorted by relevance
59 OS_TIMER32_23 = 2 enumerator
119 SDK_ASSERT(OS_TIMER32_01 <= id && id <= OS_TIMER32_23); in OS_StartTimer32()222 SDK_ASSERT(OS_TIMER32_01 <= id && id <= OS_TIMER32_23); in OS_StopTimer32()