Searched refs:clock_source_num (Results 1 – 3 of 3) sorted by relevance
129 const uint8_t clock_source_num = 8; // Max number of clock sources for Rev B WDT in MXC_WDT_RevB_SetClockSource() local130 (void)clock_source_num; in MXC_WDT_RevB_SetClockSource()132 MXC_ASSERT((clock_source < clock_source_num) && (clock_source >= 0)); in MXC_WDT_RevB_SetClockSource()
128 const uint8_t clock_source_num = 8; in MXC_WDT_SetClockSource() local154 for (idx = 0; idx < clock_source_num; idx++) { in MXC_WDT_SetClockSource()
128 const uint8_t clock_source_num = 8; in MXC_WDT_SetClockSource() local146 for (idx = 0; idx < clock_source_num; idx++) { in MXC_WDT_SetClockSource()
