Searched refs:swdt_clock (Results 1 – 1 of 1) sorted by relevance
40 uint32_t swdt_clock = zynq_get_swdt_freq(); in platform_watchdog_init() local43 uint32_t restart = ((swdt_clock / 4096) * target_timeout) / 1000; in platform_watchdog_init()56 *recommended_pet_period = ((restart * 1000) / (swdt_clock / 4096)) / 2; in platform_watchdog_init()
Completed in 3 milliseconds