807   EFM_ASSERT(timer->EN & TIMER_EN_EN);  in TIMER_CompareBufSet()
834   EFM_ASSERT(timer->EN & TIMER_EN_EN);  in TIMER_CompareSet()
870   bool enabled = (timer->EN & TIMER_EN_EN) != 0UL;  in TIMER_CounterSet()
871   timer->EN_SET = TIMER_EN_EN;  in TIMER_CounterSet()
877     timer->EN_CLR = TIMER_EN_EN;  in TIMER_CounterSet()
928   uint32_t timerEn = timer->EN & TIMER_EN_EN;  in TIMER_EnableDTI()
930   timer->EN_CLR = TIMER_EN_EN;  in TIMER_EnableDTI()
987 #if defined (TIMER_EN_EN)  in TIMER_ClearDTIFault()
988   EFM_ASSERT(timer->EN & TIMER_EN_EN);  in TIMER_ClearDTIFault()
1142 #if defined (TIMER_EN_EN)  in TIMER_Lock()
1143   EFM_ASSERT(timer->EN & TIMER_EN_EN);  in TIMER_Lock()
1170 #if defined (TIMER_EN_EN)  in TIMER_TopBufSet()
1171   EFM_ASSERT(timer->EN & TIMER_EN_EN);  in TIMER_TopBufSet()
1205 #if defined (TIMER_EN_EN)  in TIMER_TopSet()
1206   EFM_ASSERT(timer->EN & TIMER_EN_EN);  in TIMER_TopSet()
1223 #if defined (TIMER_EN_EN)  in TIMER_Unlock()
1224   EFM_ASSERT(timer->EN & TIMER_EN_EN);  in TIMER_Unlock()