Searched refs:OS_TIMER32_01 (Results 1 – 2 of 2) sorted by relevance
57 OS_TIMER32_01 = 0, 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()