Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/max96717.c max96717_init_state() -> _max96717_set_routing()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->internal_ops 4096-ptr_max
PARAM_VALUE 0 sd->internal_ops->init_state 1-u64max
PARAM_VALUE 0 sd->ops->audio 0,4096-ptr_max
PARAM_VALUE 0 sd->ops->ir 0,4355851174930030592,5210938004247650304
PARAM_VALUE 0 sd->ops->sensor 0,4096-ptr_max
PARAM_VALUE 0 sd->ops->tuner 0,4096-ptr_max
PARAM_VALUE 0 sd->ops->vbi 0,1125365629885390848,3691273271289118720,3864527033440124928,4807684056582819840,7529800587632279552
PARAM_VALUE 1 state 4096-ptr_max
PARAM_VALUE 1 state->_lock.dep_map->name 0-255
PARAM_VALUE 1 state->_lock.first_waiter 0
PARAM_VALUE 1 state->_lock.magic 4096-ptr_max
PARAM_VALUE 1 state->_lock.osq.tail.counter 0
PARAM_VALUE 1 state->_lock.owner.counter 0
PARAM_VALUE 1 state->lock 1-u64max
PARAM_VALUE 1 state->lock->dep_map->name 0-255
PARAM_VALUE 1 state->lock->first_waiter 0,4096-ptr_max
PARAM_VALUE 1 state->lock->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 state->lock->osq.tail.counter 0-s32max
PARAM_VALUE 1 state->lock->wait_lock.dep_map->name 0-255
PARAM_VALUE 1 state->lock->wait_lock.owner (-1)
PARAM_VALUE 1 state->lock->wait_lock.owner_cpu u32max
PARAM_VALUE 1 state->sd 4096-ptr_max
PARAM_VALUE 1 state->sd->internal_ops 4096-ptr_max
PARAM_VALUE 2 routing 6003426299350286336
PARAM_VALUE 2 routing->num_routes 1
PARAM_VALUE 2 routing->routes 4096-ptr_max
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd->ctrl_handler (-1),328
BUF_SIZE 0 sd->dev (-1),1616
BUF_SIZE 0 sd->entity.name (-1),8-9
BUF_SIZE 0 sd->entity.ops (-1),32
BUF_SIZE 0 sd->internal_ops (-1),48
BUF_SIZE 0 sd->state_lock (-1),152
BUF_SIZE 1 state 208
BUF_SIZE 1 state->lock (-1),152
BUF_SIZE 1 state->pads (-1),88-5767080
BUF_SIZE 1 state->sd s32min-(-1),1-s32max
CAPPED_DATA 1 state->lock 1
DATA_SOURCE 0 sd $0
DATA_SOURCE 1 state $1
STR_LEN 0 sd (-1),15-17,26-27,31-44
STR_LEN 0 sd (-1),15-17,26-27,31-44
STR_LEN 0 sd->entity.name (-1),7
STR_LEN 0 sd->name (-1),51
STR_LEN 1 state->sd (-1),15-17,26-27,31-44
STR_LEN 1 state->sd->entity.name (-1),7
STR_LEN 1 state->sd->name (-1),51
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sd->ctrl_handler->nr_of_buckets
NO_OVERFLOW_SIMPLE 0 sd->entity.num_pads
NO_OVERFLOW_SIMPLE 1 state->sd->entity.num_pads
LOCK2 1 state->lock
HALF_LOCKED2 global &list_lock

drivers/media/i2c/max96717.c max96717_set_routing() -> _max96717_set_routing()

Type Parameter Key Value
DATA_SOURCE 0 sd $0
DATA_SOURCE 1 state $1
DATA_SOURCE 2 routing $3