/*
 * Copyright (c) 2006-2019, RT-Thread Development Team
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Change Logs:
 * Date           Author         Notes
 * 2019-07-29     zdzn           first version
 */

#ifndef __DRV_WDT_H__
#define __DRV_WDT_H__

#include <rtdef.h>
#include <rtthread.h>
#include <rtdevice.h>
#include <drivers/watchdog.h>

#include "bcm283x.h"

struct raspi_wdt_driver
{
    volatile rt_uint32_t base;
    rt_uint32_t timeout;
};

int rt_hw_wdt_init(void);

#endif