/* This function performs any platform-specific cleanup needed for hardware watch dog. */
int32_t hal_wdg_finalize(wdg_dev_t *wdg)
/* This function performs any platform-specific cleanup needed for hardware watch dog. */
int32_t hal_wdg_finalize(wdg_dev_t *wdg)
{
    watchdog_stopfeed();
    return 0;
}