Defined in 3 files 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