Defined in 3 files as a function:
- drivers/watchdog/alim7101_wdt.c, line 166 (as a function)
- drivers/watchdog/sbc60xxwdt.c, line 146 (as a function)
- drivers/watchdog/w83877f_wdt.c, line 166 (as a function)
Referenced in 3 files:
Smatch caller information:
drivers/watchdog/sbc60xxwdt.c fop_close() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/watchdog/sbc60xxwdt.c fop_ioctl() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/sbc60xxwdt.c sbc60xxwdt_unload() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/sbc60xxwdt.c wdt_notify_sys() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/w83877f_wdt.c fop_close() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/watchdog/w83877f_wdt.c fop_ioctl() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/w83877f_wdt.c w83877f_wdt_unload() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/w83877f_wdt.c wdt_notify_sys() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/alim7101_wdt.c alim7101_wdt_unload() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/alim7101_wdt.c fop_close() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/watchdog/alim7101_wdt.c fop_ioctl() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/watchdog/alim7101_wdt.c wdt_notify_sys() -> wdt_turnoff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |