614                                         sctimer_counter_t whichCounter,
666 static inline void SCTIMER_SetCounterState(SCT_Type *base, sctimer_counter_t whichCounter, uint32_t…  in SCTIMER_SetCounterState()  argument
671     SCTIMER_StopTimer(base, (uint32_t)whichCounter);  in SCTIMER_SetCounterState()
673     switch (whichCounter)  in SCTIMER_SetCounterState()
698     SCTIMER_StartTimer(base, (uint32_t)whichCounter);  in SCTIMER_SetCounterState()
711 static inline uint16_t SCTIMER_GetCounterState(SCT_Type *base, sctimer_counter_t whichCounter)  in SCTIMER_GetCounterState()  argument
715     switch (whichCounter)  in SCTIMER_GetCounterState()
764                                     sctimer_counter_t whichCounter,
937 static inline void SCTIMER_SetupCounterLimitAction(SCT_Type *base, sctimer_counter_t whichCounter, …  in SCTIMER_SetupCounterLimitAction()  argument
939     switch (whichCounter)  in SCTIMER_SetupCounterLimitAction()
975 static inline void SCTIMER_SetupCounterStopAction(SCT_Type *base, sctimer_counter_t whichCounter, u…  in SCTIMER_SetupCounterStopAction()  argument
977     switch (whichCounter)  in SCTIMER_SetupCounterStopAction()
1013 static inline void SCTIMER_SetupCounterStartAction(SCT_Type *base, sctimer_counter_t whichCounter, …  in SCTIMER_SetupCounterStartAction()  argument
1015     switch (whichCounter)  in SCTIMER_SetupCounterStartAction()
1053 static inline void SCTIMER_SetupCounterHaltAction(SCT_Type *base, sctimer_counter_t whichCounter, u…  in SCTIMER_SetupCounterHaltAction()  argument
1055     switch (whichCounter)  in SCTIMER_SetupCounterHaltAction()
1115 static inline void SCTIMER_SetCOUNTValue(SCT_Type *base, sctimer_counter_t whichCounter, uint32_t v…  in SCTIMER_SetCOUNTValue()  argument
1117     SCTIMER_StopTimer(base, (uint32_t)whichCounter);  in SCTIMER_SetCOUNTValue()
1119     switch (whichCounter)  in SCTIMER_SetCOUNTValue()
1146     SCTIMER_StartTimer(base, (uint32_t)whichCounter);  in SCTIMER_SetCOUNTValue()
1159 static inline uint32_t SCTIMER_GetCOUNTValue(SCT_Type *base, sctimer_counter_t whichCounter)  in SCTIMER_GetCOUNTValue()  argument
1163     switch (whichCounter)  in SCTIMER_GetCOUNTValue()
1255 static inline uint32_t SCTIMER_GetCaptureValue(SCT_Type *base, sctimer_counter_t whichCounter, uint…  in SCTIMER_GetCaptureValue()  argument
1259     switch (whichCounter)  in SCTIMER_GetCaptureValue()