Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i2c/busses/i2c-imx.c i2c_imx_master_isr() -> i2c_imx_isr_write()

Type Parameter Key Value
PARAM_VALUE 0 i2c_imx 4096-ptr_max
PARAM_VALUE 0 i2c_imx->hwdata 4096-ptr_max
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->aborting 0-1
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->alert_done.done 0-4294967295
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->alert_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->alert_done.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->buffer_idx 0-u16max
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->busy 0-1
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->curr_seq 0-63
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->got_rsp.lock.dep_map->name 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->got_rsp.lock.owner (-1)
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->got_rsp.lock.owner_cpu 4294967295
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->idx 0-11,255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->idx_write_cnt 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->input->grab->open s32min-s32max
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->input->grab->private->inactivity_work.cpu s32min-s32max
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->input->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->input->grab->private->inactivity_work.timer.is_hard 0-1
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->input->grab->private->inactivity_work.timer.is_lazy 0-1
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->input->grab->private->inactivity_work.timer.is_soft 0-1
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->input->mt->slot s32min-s32max
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->input->repeat_key 0-4294967295
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->intf->waiting_rcv_msgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->msg_idx 0-238
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->overrun 0-1
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->part_buf.address 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->part_buf.index 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->part_buf.length 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->part_buf.pec 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->part_buf.smbus_cmd 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->rcvlen 0-277
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->read_idx 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->reg_idx 0-5
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->request.len 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->request_available 1
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->response_timer.lockdep_map->name 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->response_timer_inited 1
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->sel->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->sel->ndev->refcnt_tracker.quarantine_avail 0-4294967295
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->sel->ndev->refcnt_tracker.untracked.refs.counter s32min-s32max
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->sel->rx_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->sel->rx_done.wait.lock.owner (-1)
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->sel->rx_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->sel->rx_pos 0-259
PARAM_VALUE 0 i2c_imx->slave->dev.driver_data->state 0-4294967295
PARAM_VALUE 0 i2c_imx->slave->dev.platform_data->addr 0-255
PARAM_VALUE 0 i2c_imx->slave->dev.platform_data->index 0-255
PARAM_VALUE 0 i2c_imx->state 2
DATA_SOURCE 0 i2c_imx $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags