Searched refs:socfpga_is_wdt_in_reset (Results 1 – 2 of 2) sorted by relevance
14 int socfpga_is_wdt_in_reset(void);
144 int socfpga_is_wdt_in_reset(void) in socfpga_is_wdt_in_reset() function