Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i2c/busses/i2c-designware-master.c __i2c_dw_xfer_one_part() -> i2c_dw_is_controller_active()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmd_complete.done 0-4294967293,u32max
PARAM_VALUE 0 dev->cmd_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd_complete.wait.lock.owner (-1)
PARAM_VALUE 0 dev->cmd_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 dev->cmd_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->cmd_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->cmd_err 0-s32max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->power.request 0-4
PARAM_VALUE 0 dev->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->dev->type 0,4096-ptr_max
PARAM_VALUE 0 dev->map 4096-ptr_max
PARAM_VALUE 0 dev->map->async 0
PARAM_VALUE 0 dev->map->cache->cached_rbnode->node.__rb_parent_color 0-1,4096-s64max
PARAM_VALUE 0 dev->map->cache_dirty 0-1
PARAM_VALUE 0 dev->mode 0-1
PARAM_VALUE 0 dev->msg_err (-5),0
PARAM_VALUE 0 dev->msgs 4096-18446744073709547519
PARAM_VALUE 0 dev->rx_buf_len 1-u32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 dev->map->rd_table->n_yes_ranges 1
CAPPED_DATA 0 dev->map->volatile_table->n_no_ranges 1
CAPPED_DATA 0 dev->map->volatile_table->n_yes_ranges 1
DATA_SOURCE 0 dev $0
UNITS 0 dev unit_byte