2 * Copyright (c) 2017 Intel Corporation
4 * SPDX-License-Identifier: GPL-2.0+
10 /* Hardware timeout in seconds */
11 #define WDT_PRETIMEOUT 15
12 #define WDT_TIMEOUT_MIN (1 + WDT_PRETIMEOUT)
13 #define WDT_TIMEOUT_MAX 170
14 #define WDT_DEFAULT_TIMEOUT 90
16 #ifndef CONFIG_WATCHDOG_TIMEOUT_MSECS
17 #define WATCHDOG_HEARTBEAT 60000
19 #define WATCHDOG_HEARTBEAT CONFIG_WATCHDOG_TIMEOUT_MSECS
23 SCU_WATCHDOG_START = 0,
24 SCU_WATCHDOG_STOP = 1,
25 SCU_WATCHDOG_KEEPALIVE = 2,
26 SCU_WATCHDOG_SET_ACTION_ON_TIMEOUT = 3,
29 void hw_watchdog_reset(void)
31 static unsigned long last;
39 /* Do not flood SCU */
43 if (unlikely((now - last) > (WDT_PRETIMEOUT / 2) * 1000000)) {
45 scu_ipc_simple_command(IPCMSG_WATCHDOG_TIMER, SCU_WATCHDOG_KEEPALIVE);
49 int hw_watchdog_disable(void)
51 return scu_ipc_simple_command(IPCMSG_WATCHDOG_TIMER, SCU_WATCHDOG_STOP);
54 void hw_watchdog_init(void)
56 u32 timeout = WATCHDOG_HEARTBEAT / 1000;
61 } ipc_wd_start = { timeout - WDT_PRETIMEOUT, timeout };
64 * SCU expects the input size for watchdog IPC
65 * to be based on 4 bytes
67 in_size = DIV_ROUND_UP(sizeof(ipc_wd_start), 4);
69 scu_ipc_command(IPCMSG_WATCHDOG_TIMER, SCU_WATCHDOG_START,
70 (u32 *)&ipc_wd_start, in_size, NULL, 0);