Symbol: pic32_wdt_keepalive
drivers/watchdog/pic32-wdt.c
110
pic32_wdt_keepalive(wdt);
drivers/watchdog/pic32-wdt.c
134
pic32_wdt_keepalive(wdt);