/*
 * Copyright © 2017-2022 The Crust Firmware Authors.
 * SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0-only
 */

#ifndef DRIVERS_WATCHDOG_SUN9I_A80_TWD_H
#define DRIVERS_WATCHDOG_SUN9I_A80_TWD_H

#include <simple_device.h>
#include <watchdog.h>

extern const struct simple_device r_twd;

#endif /* DRIVERS_WATCHDOG_SUN9I_A80_TWD_H */
