Defined in 4 files as a function:
- drivers/watchdog/m54xx_wdt.c, line 43 (as a function)
- drivers/watchdog/sbc7240_wdt.c, line 62 (as a function)
- drivers/watchdog/sbc_fitpc2_wdt.c, line 51 (as a function)
- drivers/watchdog/sp805_wdt.c, line 191 (as a function)
Referenced in 4 files:
- drivers/watchdog/m54xx_wdt.c
- drivers/watchdog/sbc7240_wdt.c
- drivers/watchdog/sbc_fitpc2_wdt.c
- drivers/watchdog/sp805_wdt.c
Smatch caller information:
drivers/watchdog/sbc_fitpc2_wdt.c fitpc2_wdt_ioctl() -> wdt_enable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/sbc_fitpc2_wdt.c fitpc2_wdt_ioctl() -> wdt_enable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/sbc_fitpc2_wdt.c fitpc2_wdt_open() -> wdt_enable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/watchdog/sbc_fitpc2_wdt.c fitpc2_wdt_release() -> wdt_enable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/watchdog/sbc_fitpc2_wdt.c fitpc2_wdt_write() -> wdt_enable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |