Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/ccs/ccs-core.c ccs_get_limit() -> ccs_limit_ptr()

Type Parameter Key Value
PARAM_VALUE 3 __ptr 7941126997448052736
DATA_SOURCE 0 sensor $0
DATA_SOURCE 1 limit $1
DATA_SOURCE 2 offset $2

drivers/media/i2c/ccs/ccs-core.c ccs_replace_limit() -> ccs_limit_ptr()

Type Parameter Key Value
PARAM_VALUE 0 sensor 4096-ptr_max
PARAM_VALUE 0 sensor->ext_clk 0,4096-u64max
PARAM_VALUE 0 sensor->frame_skip 0-1
PARAM_VALUE 0 sensor->hwcfg.csi_signalling_mode 0-3
PARAM_VALUE 0 sensor->hwcfg.lanes 0-255
PARAM_VALUE 0 sensor->reset 0,4096-18446744073709551613,(-1)
PARAM_VALUE 0 sensor->src 4096-ptr_max
PARAM_VALUE 0 sensor->xshutdown 0,4096-18446744073709551613,(-1)
PARAM_VALUE 1 limit 5-6,38,77,125,198
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 __ptr 3513735215850635264
BUF_SIZE 0 sensor (-1),3544
BUF_SIZE 0 sensor (-1),3544
BUF_SIZE 0 sensor->ccs_limits (-1)-u16max
BUF_SIZE 0 sensor->ext_clk (-1),1-s32max
BUF_SIZE 0 sensor->regulators (-1),72
BUF_SIZE 0 sensor->reset s32min,(-1),1-s32max
BUF_SIZE 0 sensor->src (-1),2568
BUF_SIZE 0 sensor->src->sd.internal_ops (-1),48
BUF_SIZE 0 sensor->xshutdown s32min,(-1)-s32max
DATA_SOURCE 0 sensor $0
DATA_SOURCE 1 limit $1
DATA_SOURCE 2 offset $2
FUZZY_MAX 0 sensor->frame_skip 1
HARD_MAX 1 limit 198
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sensor->ext_clk->core->parent->req_rate