Defined in 6 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/watchdog/w83977f_wdt.c wdt_ioctl() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/w83977f_wdt.c wdt_ioctl() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/w83977f_wdt.c wdt_release() -> wdt_keepalive()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/w83977f_wdt.c wdt_write() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/sbc60xxwdt.c fop_ioctl() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/sbc60xxwdt.c fop_ioctl() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/sbc60xxwdt.c fop_write() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/w83877f_wdt.c fop_ioctl() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/w83877f_wdt.c fop_ioctl() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/w83877f_wdt.c fop_write() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/alim7101_wdt.c fop_ioctl() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/alim7101_wdt.c fop_ioctl() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL

drivers/watchdog/alim7101_wdt.c fop_write() -> wdt_keepalive()

Type Parameter Key Value
NOCHECK_CALL