Open Menu /

Documented in 2 files:

Defined in 1 files as a macro:

Defined in 5 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/watchdog/sama5d4_wdt.c sama5d4_wdt_init() -> wdt_write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->ir 0-1
PARAM_VALUE 0 file->sam9x60_support 1
PARAM_VALUE 0 file->wddis_mask 0,4096,32768
PARAM_VALUE 1 buf 20
PARAM_VALUE 2 count 0-1
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
DATA_SOURCE 0 file $0
FUZZY_MAX 0 file->ir 1
FUZZY_MAX 0 file->wddis_mask 32768
FUZZY_MAX 2 count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 file unit_byte

drivers/watchdog/sama5d4_wdt.c sama5d4_wdt_init() -> wdt_write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->ir 0-1
PARAM_VALUE 0 file->sam9x60_support 1
PARAM_VALUE 0 file->wddis_mask 0,4096,32768
PARAM_VALUE 1 buf 12
PARAM_VALUE 2 count 4095
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
DATA_SOURCE 0 file $0
FUZZY_MAX 0 file->ir 1
FUZZY_MAX 0 file->wddis_mask 32768
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 file unit_byte

drivers/watchdog/sama5d4_wdt.c sama5d4_wdt_ping() -> wdt_write()

Type Parameter Key Value
PARAM_VALUE 1 buf 0
PARAM_VALUE 2 count 2768240641
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 file unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/sama5d4_wdt.c sama5d4_wdt_set_timeout() -> wdt_write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->sam9x60_support 1
PARAM_VALUE 1 buf 12
PARAM_VALUE 2 count 0,255-4095
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 count 0,255-1791[c]
UNITS 0 file unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/sama5d4_wdt.c sama5d4_wdt_set_timeout() -> wdt_write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->sam9x60_support 0
PARAM_VALUE 1 buf 4
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
CAPPED_DATA 2 count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 file->mr 0-u32max[c][u]
USER_DATA 2 count 0-u32max[c]
UNITS 0 file unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/sama5d4_wdt.c sama5d4_wdt_start() -> wdt_write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 buf 4
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 file unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/sama5d4_wdt.c sama5d4_wdt_stop() -> wdt_write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 buf 4
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 file unit_byte

drivers/watchdog/lenovo_se30g2_se60_wdt.c wdt_ping() -> wdt_write()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 file
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/lenovo_se30g2_se60_wdt.c wdt_start() -> wdt_write()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 file
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/lenovo_se30g2_se60_wdt.c wdt_stop() -> wdt_write()

Type Parameter Key Value
PARAM_VALUE 0 file 0
RX_PATH
TASK_NOT_RUNNING

fs/read_write.c vfs_write() -> (struct file_operations)->write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_op 4096-ptr_max
PARAM_VALUE 0 file->f_op->write 1-u64max
PARAM_VALUE 2 count 0-1000000000,2147479552
PARAM_VALUE 3 *ppos 0-1000000000
BUF_SIZE 3 ppos (-1),8
BUF_SIZE 3 ppos (-1),8
CAPPED_DATA 1 buf 1
DATA_SOURCE 0 file $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2 [m]
DATA_SOURCE 3 ppos $3
FUZZY_MAX 2 count 2147479552
CONTAINER 0 -32-80+0 $(-1)
BIT_INFO 0 file->f_mode 0x40002,0xffffffffffffffff
USER_DATA 1 buf 0-u64max[c]
USER_DATA 2 count 0-1000000000
USER_DATA 3 *ppos 0-1000000000
USER_PTR 3 ppos