]>
git.ipfire.org Git - people/ms/u-boot.git/blob - drivers/watchdog/bcm2835_wdt.c
2 * Watchdog driver for Broadcom BCM2835
4 * Copyright (C) 2017 Paolo Pisati <p.pisati@gmail.com>
6 * SPDX-License-Identifier: GPL-2.0
10 #include <efi_loader.h>
12 #include <asm/arch/wdog.h>
14 #define SECS_TO_WDOG_TICKS(x) ((x) << 16)
15 #define MAX_TIMEOUT 0xf /* ~15s */
17 static __efi_runtime_data
bool enabled
= true;
19 extern void reset_cpu(ulong ticks
);
21 void hw_watchdog_reset(void)
24 reset_cpu(SECS_TO_WDOG_TICKS(MAX_TIMEOUT
));
27 void hw_watchdog_init(void)
32 void __efi_runtime
hw_watchdog_disable(void)