1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (c) 2017 Intel Corporation
9 /* Hardware timeout in seconds */
10 #define WDT_PRETIMEOUT 15
11 #define WDT_TIMEOUT_MIN (1 + WDT_PRETIMEOUT)
12 #define WDT_TIMEOUT_MAX 170
13 #define WDT_DEFAULT_TIMEOUT 90
15 #ifndef CONFIG_WATCHDOG_TIMEOUT_MSECS
16 #define WATCHDOG_HEARTBEAT 60000
18 #define WATCHDOG_HEARTBEAT CONFIG_WATCHDOG_TIMEOUT_MSECS
22 SCU_WATCHDOG_START = 0,
23 SCU_WATCHDOG_STOP = 1,
24 SCU_WATCHDOG_KEEPALIVE = 2,
25 SCU_WATCHDOG_SET_ACTION_ON_TIMEOUT = 3,
28 void hw_watchdog_reset(void)
30 static unsigned long last;
38 /* Do not flood SCU */
42 if (unlikely((now - last) > (WDT_PRETIMEOUT / 2) * 1000000)) {
44 scu_ipc_simple_command(IPCMSG_WATCHDOG_TIMER, SCU_WATCHDOG_KEEPALIVE);
48 int hw_watchdog_disable(void)
50 return scu_ipc_simple_command(IPCMSG_WATCHDOG_TIMER, SCU_WATCHDOG_STOP);
53 void hw_watchdog_init(void)
55 u32 timeout = WATCHDOG_HEARTBEAT / 1000;
60 } ipc_wd_start = { timeout - WDT_PRETIMEOUT, timeout };
63 * SCU expects the input size for watchdog IPC
64 * to be based on 4 bytes
66 in_size = DIV_ROUND_UP(sizeof(ipc_wd_start), 4);
68 scu_ipc_command(IPCMSG_WATCHDOG_TIMER, SCU_WATCHDOG_START,
69 (u32 *)&ipc_wd_start, in_size, NULL, 0);