Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/s5k6a3.c s5k6a3_get_fmt() -> __s5k6a3_get_format()

Type Parameter Key Value
PARAM_VALUE 0 sensor 4096-ptr_max
PARAM_VALUE 1 sd_state 0,4096-ptr_max
DATA_SOURCE 0 sensor r sd_to_s5k6a3
DATA_SOURCE 1 sd_state $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 pad
UNITS 2 pad unit_array_size
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &video->mutex
HALF_LOCKED2 &video->stream_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &list_lock
HALF_LOCKED2 sd_state->lock
HALF_LOCKED2 1 sd_state->lock

drivers/media/i2c/s5k6a3.c s5k6a3_set_fmt() -> __s5k6a3_get_format()

Type Parameter Key Value
PARAM_VALUE 0 sensor 4096-ptr_max
PARAM_VALUE 1 sd_state 0,4096-ptr_max
BUF_SIZE 1 sd_state (-1),208
BUF_SIZE 1 sd_state (-1),208
BUF_SIZE 1 sd_state->lock (-1),152
BUF_SIZE 1 sd_state->pads (-1),88-5767080
BUF_SIZE 1 sd_state->sd s32min-(-1),1-s32max
DATA_SOURCE 0 sensor r sd_to_s5k6a3
DATA_SOURCE 1 sd_state $1
STR_LEN 1 sd_state->sd (-1),15-17,26-27,31-44
STR_LEN 1 sd_state->sd->entity.name (-1),7
STR_LEN 1 sd_state->sd->name (-1),51
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 sd_state->sd->entity.num_pads
UNITS 2 pad unit_array_size
HALF_LOCKED2 &cxdev->open_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &hdw->big_lock_mutex
HALF_LOCKED2 &pcdev->mlock
HALF_LOCKED2 &ve->vdev.entity.graph_obj.mdev->graph_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &em28xx_devlist_mutex
HALF_LOCKED2 1 sd_state->lock