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_wait_transfer()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->abort_source 0
PARAM_VALUE 0 dev->cmd_complete.done 0
PARAM_VALUE 0 dev->cmd_err 0
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
PARAM_VALUE 0 dev->map->cache_dirty 0-1
PARAM_VALUE 0 dev->mode 0-1
PARAM_VALUE 0 dev->msg_err 0
PARAM_VALUE 0 dev->msg_read_idx 0
PARAM_VALUE 0 dev->msg_write_idx 0
PARAM_VALUE 0 dev->msgs 4096-18446744073709547519
PARAM_VALUE 0 dev->rx_outstanding 0
PARAM_VALUE 0 dev->status 1-u32max
PARAM_VALUE 0 dev->sw_mask 596
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