Searched refs:get_wdt_clk (Results 1 – 7 of 7) sorted by relevance
94 uint32_t get_wdt_clk(void);
127 uint32_t get_wdt_clk(void);
72 watchdog_init(get_wdt_clk()); in bl2_el3_early_platform_setup()
76 watchdog_init(get_wdt_clk()); in bl2_el3_early_platform_setup()
585 static uint32_t get_wdt_clk(void) in get_wdt_clk() function640 clk_rate = get_wdt_clk(); in clkmgr_get_rate()
296 uint32_t get_wdt_clk(void) in get_wdt_clk() function
351 uint32_t get_wdt_clk(void) in get_wdt_clk() function