You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
36 lines
619 B
36 lines
619 B
8 months ago
|
/*
|
||
|
|
* Watchdog driver for Broadcom BCM2835
|
||
|
|
*
|
||
|
|
* Copyright (C) 2017 Paolo Pisati <p.pisati@gmail.com>
|
||
|
|
*
|
||
|
|
* 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;
|
||
|
|
}
|