/* param base SCTimer peripheral base address param event Event number to enable in the current state  */
void SCTIMER_ScheduleEvent(SCT_Type *base, uint32_t event)
/* param base SCTimer peripheral base address param event Event number to enable in the current state  */
void SCTIMER_ScheduleEvent(SCT_Type *base, uint32_t event)
{
    base->EV[event].STATE |= (1UL << s_currentState);
}