| /kernel/linux/linux-5.10/Documentation/devicetree/bindings/watchdog/ |
| D | atmel-wdt.txt | 3 ** at91sam9-wdt
6 - compatible: must be "atmel,at91sam9260-wdt".
7 - reg: physical base address of the controller and length of memory mapped
9 - clocks: phandle to input clock.
12 - timeout-sec: contains the watchdog timeout in seconds.
13 - interrupts : Should contain WDT interrupt.
14 - atmel,max-heartbeat-sec : Should contain the maximum heartbeat value in
17 - atmel,min-heartbeat-sec : Should contain the minimum heartbeat value in
18 seconds. This value must be smaller than the max-heartbeat-sec value.
20 - atmel,watchdog-type : Should be "hardware" or "software". Hardware watchdog
[all …]
|
| /kernel/linux/linux-6.6/Documentation/devicetree/bindings/watchdog/ |
| D | atmel,at91sam9-wdt.yaml | 1 # SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
4 ---
5 $id: http://devicetree.org/schemas/watchdog/atmel,at91sam9-wdt.yaml#
6 $schema: http://devicetree.org/meta-schemas/core.yaml#
11 - Eugen Hristev <eugen.hristev@microchip.com>
15 const: atmel,at91sam9260-wdt
26 atmel,max-heartbeat-sec:
28 Should contain the maximum heartbeat value in seconds. This value
32 atmel,min-heartbeat-sec:
34 Should contain the minimum heartbeat value in seconds. This value
[all …]
|
| /kernel/linux/linux-5.10/drivers/watchdog/ |
| D | at91sam9_wdt.c | 1 // SPDX-License-Identifier: GPL-2.0+
5 * Copyright (C) 2008 Renaud CERRATO r.cerrato@til-technologies.fr
41 readl_relaxed((wdt)->base + (field))
43 writel_relaxed((val), (wdt)->base + (field))
52 #define secs_to_ticks(s) ((s) ? (((s) << 8) - 1) : 0)
56 /* Watchdog max counter value in ticks */
59 /* Watchdog max delta/value in secs */
65 /* Timer heartbeat (500ms) */
70 static int heartbeat; variable
71 module_param(heartbeat, int, 0);
[all …]
|
| D | pcwd_pci.c | 1 // SPDX-License-Identifier: GPL-2.0+
3 * Berkshire PCI-PC Watchdog Card Driver
5 * (c) Copyright 2003-2007 Wim Van Sebroeck <wim@iguana.be>.
16 * provided "AS-IS" and at no charge.
36 #include <linux/errno.h> /* For the -ENODEV/... values */
46 #include <linux/ioport.h> /* For io-port access */
53 #define WATCHDOG_DRIVER_NAME "PCI-PC Watchdog"
68 * PCI-PC Watchdog card.
72 #define WD_PCI_HRBT 0x02 /* Watchdog Heartbeat */
76 #define WD_PCI_R2DS 0x40 /* Relay 2 Disable Temperature-trip /
[all …]
|
| D | pcwd_usb.c | 1 // SPDX-License-Identifier: GPL-2.0+
3 * Berkshire USB-PC Watchdog Card Driver
5 * (c) Copyright 2004-2007 Wim Van Sebroeck <wim@iguana.be>.
12 * Greg Kroah-Hartman <greg@kroah.com>
16 * provided "AS-IS" and at no charge.
28 #include <linux/errno.h> /* For the -ENODEV/... values */
47 #define DRIVER_DESC "Berkshire USB-PC Watchdog driver"
54 #define WATCHDOG_HEARTBEAT 0 /* default heartbeat =
55 delay-time from dip-switches */
56 static int heartbeat = WATCHDOG_HEARTBEAT; variable
[all …]
|
| D | pika_wdt.c | 1 // SPDX-License-Identifier: GPL-2.0-only
29 #define DRV_NAME "PIKA-WDT"
34 /* Timer heartbeat (500ms) */
39 static int heartbeat = WDT_HEARTBEAT; variable
40 module_param(heartbeat, int, 0);
41 MODULE_PARM_DESC(heartbeat, "Watchdog heartbeats in seconds. "
71 /* -- FPGA: Reset Control Register (32bit R/W) (Offset: 0x14) -- in pikawdt_reset()
76 * Bit 8-11, WTCHDG_TIMEOUT_SEC: Sets the watchdog timeout value in in pikawdt_reset()
81 /* enable with max timeout - 15 seconds */ in pikawdt_reset()
102 pikawdt_private.next_heartbeat = jiffies + heartbeat * HZ; in pikawdt_keepalive()
[all …]
|
| D | davinci_wdt.c | 1 // SPDX-License-Identifier: GPL-2.0
7 * Copyright (C) 2006-2013 Texas Instruments.
24 #define MODULE_NAME "DAVINCI-WDT: "
27 #define MAX_HEARTBEAT 600 /* really the max margin is 264/27MHz*/
56 static int heartbeat; variable
60 * @base - base io address of WD device
61 * @clk - source clock of WDT
62 * @wdd - hold watchdog device as is in WDT core
77 wdt_freq = clk_get_rate(davinci_wdt->clk); in davinci_wdt_start()
80 iowrite32(0, davinci_wdt->base + TCR); in davinci_wdt_start()
[all …]
|
| D | pcwd.c | 1 // SPDX-License-Identifier: GPL-2.0-only
10 * 960108 Fixed end-of-file pointer (Thanks to Dan Hollis), added
20 * typedefs to replace them. Made heartbeat reset only available
24 * added watchdog disable/re-enable routines. Added firmware
60 #include <linux/errno.h> /* For the -ENODEV/... values */
71 #include <linux/ioport.h> /* For io-port access */
79 #define WATCHDOG_DRIVER_NAME "ISA-PC Watchdog"
94 * These are the auto-probe addresses available.
104 * PCI-PC Watchdog card.
109 #define WD_HRTBT 0x04 /* Heartbeat sense */
[all …]
|
| D | dw_wdt.c | 1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright 2010-2011 Picochip Ltd., Jamie Iles
12 * heartbeat requests after the watchdog device has been closed.
79 unsigned int sec; member
105 return readl(dw_wdt->regs + WDOG_CONTROL_REG_OFFSET) & in dw_wdt_is_enabled()
113 val = readl(dw_wdt->regs + WDOG_CONTROL_REG_OFFSET); in dw_wdt_update_mode()
118 writel(val, dw_wdt->regs + WDOG_CONTROL_REG_OFFSET); in dw_wdt_update_mode()
120 dw_wdt->rmod = rmod; in dw_wdt_update_mode()
134 if (dw_wdt->timeouts[idx].sec >= timeout) in dw_wdt_find_best_top()
139 --idx; in dw_wdt_find_best_top()
[all …]
|
| /kernel/linux/linux-6.6/drivers/watchdog/ |
| D | at91sam9_wdt.c | 1 // SPDX-License-Identifier: GPL-2.0+
5 * Copyright (C) 2008 Renaud CERRATO r.cerrato@til-technologies.fr
41 readl_relaxed((wdt)->base + (field))
43 writel_relaxed((val), (wdt)->base + (field))
52 #define secs_to_ticks(s) ((s) ? (((s) << 8) - 1) : 0)
56 /* Watchdog max counter value in ticks */
59 /* Watchdog max delta/value in secs */
65 /* Timer heartbeat (500ms) */
70 static int heartbeat; variable
71 module_param(heartbeat, int, 0);
[all …]
|
| D | pcwd_pci.c | 1 // SPDX-License-Identifier: GPL-2.0+
3 * Berkshire PCI-PC Watchdog Card Driver
5 * (c) Copyright 2003-2007 Wim Van Sebroeck <wim@iguana.be>.
16 * provided "AS-IS" and at no charge.
36 #include <linux/errno.h> /* For the -ENODEV/... values */
46 #include <linux/ioport.h> /* For io-port access */
53 #define WATCHDOG_DRIVER_NAME "PCI-PC Watchdog"
68 * PCI-PC Watchdog card.
72 #define WD_PCI_HRBT 0x02 /* Watchdog Heartbeat */
76 #define WD_PCI_R2DS 0x40 /* Relay 2 Disable Temperature-trip /
[all …]
|
| D | pcwd_usb.c | 1 // SPDX-License-Identifier: GPL-2.0+
3 * Berkshire USB-PC Watchdog Card Driver
5 * (c) Copyright 2004-2007 Wim Van Sebroeck <wim@iguana.be>.
12 * Greg Kroah-Hartman <greg@kroah.com>
16 * provided "AS-IS" and at no charge.
28 #include <linux/errno.h> /* For the -ENODEV/... values */
47 #define DRIVER_DESC "Berkshire USB-PC Watchdog driver"
54 #define WATCHDOG_HEARTBEAT 0 /* default heartbeat =
55 delay-time from dip-switches */
56 static int heartbeat = WATCHDOG_HEARTBEAT; variable
[all …]
|
| D | pika_wdt.c | 1 // SPDX-License-Identifier: GPL-2.0-only
29 #define DRV_NAME "PIKA-WDT"
34 /* Timer heartbeat (500ms) */
39 static int heartbeat = WDT_HEARTBEAT; variable
40 module_param(heartbeat, int, 0);
41 MODULE_PARM_DESC(heartbeat, "Watchdog heartbeats in seconds. "
71 /* -- FPGA: Reset Control Register (32bit R/W) (Offset: 0x14) -- in pikawdt_reset()
76 * Bit 8-11, WTCHDG_TIMEOUT_SEC: Sets the watchdog timeout value in in pikawdt_reset()
81 /* enable with max timeout - 15 seconds */ in pikawdt_reset()
102 pikawdt_private.next_heartbeat = jiffies + heartbeat * HZ; in pikawdt_keepalive()
[all …]
|
| D | davinci_wdt.c | 1 // SPDX-License-Identifier: GPL-2.0
7 * Copyright (C) 2006-2013 Texas Instruments.
24 #define MODULE_NAME "DAVINCI-WDT: "
27 #define MAX_HEARTBEAT 600 /* really the max margin is 264/27MHz*/
56 static int heartbeat; variable
60 * @base - base io address of WD device
61 * @clk - source clock of WDT
62 * @wdd - hold watchdog device as is in WDT core
77 wdt_freq = clk_get_rate(davinci_wdt->clk); in davinci_wdt_start()
80 iowrite32(0, davinci_wdt->base + TCR); in davinci_wdt_start()
[all …]
|
| D | pcwd.c | 1 // SPDX-License-Identifier: GPL-2.0-only
10 * 960108 Fixed end-of-file pointer (Thanks to Dan Hollis), added
20 * typedefs to replace them. Made heartbeat reset only available
24 * added watchdog disable/re-enable routines. Added firmware
60 #include <linux/errno.h> /* For the -ENODEV/... values */
71 #include <linux/ioport.h> /* For io-port access */
79 #define WATCHDOG_DRIVER_NAME "ISA-PC Watchdog"
94 * These are the auto-probe addresses available.
104 * PCI-PC Watchdog card.
109 #define WD_HRTBT 0x04 /* Heartbeat sense */
[all …]
|
| D | dw_wdt.c | 1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright 2010-2011 Picochip Ltd., Jamie Iles
12 * heartbeat requests after the watchdog device has been closed.
78 unsigned int sec; member
104 return readl(dw_wdt->regs + WDOG_CONTROL_REG_OFFSET) & in dw_wdt_is_enabled()
112 val = readl(dw_wdt->regs + WDOG_CONTROL_REG_OFFSET); in dw_wdt_update_mode()
117 writel(val, dw_wdt->regs + WDOG_CONTROL_REG_OFFSET); in dw_wdt_update_mode()
119 dw_wdt->rmod = rmod; in dw_wdt_update_mode()
133 if (dw_wdt->timeouts[idx].sec >= timeout) in dw_wdt_find_best_top()
138 --idx; in dw_wdt_find_best_top()
[all …]
|
| /kernel/linux/linux-5.10/arch/arm/boot/dts/ |
| D | at91-kizbox.dts | 1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * at91-kizbox.dts - Device Tree file for Overkiz Kizbox board
5 * Copyright (C) 2012-2014 Boris BREZILLON <b.brezillon@overkiz.com>
6 * 2014-2015 Gaël PORTAY <g.portay@overkiz.com>
8 /dts-v1/;
10 #include <dt-bindings/pwm/pwm.h>
18 stdout-path = &dbgu;
27 clock-frequency = <18432000>;
32 compatible = "gpio-keys";
33 #address-cells = <1>;
[all …]
|
| D | stm32mp157c-odyssey-som.dtsi | 1 // SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
6 /dts-v1/;
10 #include "stm32mp15-pinctrl.dtsi"
11 #include "stm32mp15xxac-pinctrl.dtsi"
12 #include <dt-bindings/gpio/gpio.h>
13 #include <dt-bindings/leds/common.h>
14 #include <dt-bindings/mfd/st,stpmic1.h>
17 model = "Seeed Studio Odyssey-STM32MP157C SOM";
18 compatible = "seeed,stm32mp157c-odyssey-som", "st,stm32mp157";
25 reserved-memory {
[all …]
|
| D | stm32mp15xx-dkx.dtsi | 1 // SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
3 * Copyright (C) STMicroelectronics 2019 - All Rights Reserved
7 #include <dt-bindings/gpio/gpio.h>
8 #include <dt-bindings/mfd/st,stpmic1.h>
16 reserved-memory {
17 #address-cells = <1>;
18 #size-cells = <1>;
22 compatible = "shared-dma-pool";
24 no-map;
28 compatible = "shared-dma-pool";
[all …]
|
| D | stm32mp157a-stinger96.dtsi | 1 // SPDX-License-Identifier: (GPL-2.0+ OR MIT)
6 /dts-v1/;
9 #include "stm32mp15-pinctrl.dtsi"
10 #include "stm32mp15xxac-pinctrl.dtsi"
11 #include <dt-bindings/gpio/gpio.h>
12 #include <dt-bindings/mfd/st,stpmic1.h>
24 stdout-path = "serial1:115200n8";
33 compatible = "gpio-leds";
38 linux,default-trigger = "heartbeat";
39 default-state = "off";
[all …]
|
| /kernel/linux/linux-6.6/arch/arm/boot/dts/microchip/ |
| D | at91-kizbox.dts | 1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * at91-kizbox.dts - Device Tree file for Overkiz Kizbox board
5 * Copyright (C) 2012-2014 Boris BREZILLON <b.brezillon@overkiz.com>
6 * 2014-2015 Gaël PORTAY <g.portay@overkiz.com>
8 /dts-v1/;
10 #include <dt-bindings/pwm/pwm.h>
18 stdout-path = &dbgu;
27 clock-frequency = <18432000>;
31 gpio-keys {
32 compatible = "gpio-keys";
[all …]
|
| /kernel/linux/linux-6.6/arch/arm/boot/dts/st/ |
| D | stm32mp157c-odyssey-som.dtsi | 1 // SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
6 /dts-v1/;
10 #include "stm32mp15-pinctrl.dtsi"
11 #include "stm32mp15xxac-pinctrl.dtsi"
12 #include <dt-bindings/gpio/gpio.h>
13 #include <dt-bindings/leds/common.h>
14 #include <dt-bindings/mfd/st,stpmic1.h>
17 model = "Seeed Studio Odyssey-STM32MP157C SOM";
18 compatible = "seeed,stm32mp157c-odyssey-som", "st,stm32mp157";
25 reserved-memory {
[all …]
|
| D | stm32mp157c-emstamp-argon.dtsi | 1 // SPDX-License-Identifier: (GPL-2.0 OR MIT)
9 #include "stm32mp15-pinctrl.dtsi"
10 #include "stm32mp15xxac-pinctrl.dtsi"
11 #include <dt-bindings/gpio/gpio.h>
12 #include <dt-bindings/mfd/st,stpmic1.h>
23 stdout-path = "serial0:115200n8";
31 reserved-memory {
32 #address-cells = <1>;
33 #size-cells = <1>;
37 compatible = "shared-dma-pool";
[all …]
|
| D | stm32mp157a-stinger96.dtsi | 1 // SPDX-License-Identifier: (GPL-2.0+ OR MIT)
6 /dts-v1/;
9 #include "stm32mp15-pinctrl.dtsi"
10 #include "stm32mp15xxac-pinctrl.dtsi"
11 #include <dt-bindings/gpio/gpio.h>
12 #include <dt-bindings/mfd/st,stpmic1.h>
24 stdout-path = "serial1:115200n8";
33 compatible = "gpio-leds";
38 linux,default-trigger = "heartbeat";
39 default-state = "off";
[all …]
|
| D | stm32mp15xx-dkx.dtsi | 1 // SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
3 * Copyright (C) STMicroelectronics 2019 - All Rights Reserved
7 #include <dt-bindings/gpio/gpio.h>
8 #include <dt-bindings/mfd/st,stpmic1.h>
22 reserved-memory {
23 #address-cells = <1>;
24 #size-cells = <1>;
28 compatible = "shared-dma-pool";
30 no-map;
34 compatible = "shared-dma-pool";
[all …]
|