Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/counter/ti-ecap-capture.c ecap_cnt_cap_write() -> ecap_cnt_count_set_val()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 1 reg 8
DATA_SOURCE 0 counter $0
DATA_SOURCE 2 val $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 val 0-u32max
NO_OVERFLOW_SIMPLE 2 val
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/counter/ti-ecap-capture.c ecap_cnt_count_write() -> ecap_cnt_count_set_val()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 1 reg 0
DATA_SOURCE 0 counter $0
DATA_SOURCE 2 val $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 val 0-u32max
NO_OVERFLOW_SIMPLE 2 val
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/counter/ti-ecap-capture.c ecap_cnt_resume() -> ecap_cnt_count_set_val()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->parent 4096-ptr_max
PARAM_VALUE 0 counter->parent->bus 0,4096-ptr_max
PARAM_VALUE 0 counter->parent->class 0,4096-ptr_max
PARAM_VALUE 0 counter->parent->type 0,4096-ptr_max
PARAM_VALUE 1 reg 0
BUF_SIZE 0 counter s32min-(-2),1-s32max
BUF_SIZE 0 counter s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 counter unit_byte