[J-u-boot.git] / drivers / watchdog / bcm2835_wdt.c

/*
 * Watchdog driver for Broadcom BCM2835
 *
 * Copyright (C) 2017 Paolo Pisati <[email protected]>
 *
 * SPDX-License-Identifier: GPL-2.0
 */

#include <common.h>
#include <efi_loader.h>
#include <asm/io.h>
#include <asm/arch/wdog.h>

#define SECS_TO_WDOG_TICKS(x) ((x) << 16)
#define MAX_TIMEOUT   0xf /* ~15s */

static __efi_runtime_data bool enabled = true;

extern void reset_cpu(ulong ticks);

void hw_watchdog_reset(void)
{
	if (enabled)
		reset_cpu(SECS_TO_WDOG_TICKS(MAX_TIMEOUT));
}

void hw_watchdog_init(void)
{
	hw_watchdog_reset();
}

void __efi_runtime hw_watchdog_disable(void)
{
	enabled = false;
}
Commit	Line	Data
45a6d231 PP	1	/*
	2	* Watchdog driver for Broadcom BCM2835
	3	*
	4	* Copyright (C) 2017 Paolo Pisati <[email protected]>
	5	*
	6	* SPDX-License-Identifier: GPL-2.0
	7	*/
	8
	9	#include <common.h>
	10	#include <efi_loader.h>
	11	#include <asm/io.h>
	12	#include <asm/arch/wdog.h>
	13
	14	#define SECS_TO_WDOG_TICKS(x) ((x) << 16)
	15	#define MAX_TIMEOUT 0xf /* ~15s */
	16
	17	static __efi_runtime_data bool enabled = true;
	18
	19	extern void reset_cpu(ulong ticks);
	20
	21	void hw_watchdog_reset(void)
	22	{
	23	if (enabled)
	24	reset_cpu(SECS_TO_WDOG_TICKS(MAX_TIMEOUT));
	25	}
	26
	27	void hw_watchdog_init(void)
	28	{
	29	hw_watchdog_reset();
	30	}
	31
	32	void __efi_runtime hw_watchdog_disable(void)
	33	{
	34	enabled = false;
	35	}