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);