Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/i2c/busses/i2c-npcm7xx.c npcm_i2c_irq_master_handler_write() -> npcm_i2c_master_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->data | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->fifo_use | 1 |
| PARAM_VALUE | 0 | bus->master_or_slave | 0 |
| PARAM_VALUE | 0 | bus->operation | 1 |
| PARAM_VALUE | 0 | bus->rd_size | 1-u16max |
| PARAM_VALUE | 0 | bus->reg | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->state | 0,2-u32max |
| CAPPED_DATA | 0 | bus->rd_size | 1 |
| CAPPED_DATA | 0 | bus->wr_ind | 1 |
| CAPPED_DATA | 0 | bus->wr_size | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| PARAM_COMPARE | 0 | bus->wr_ind | == $0->wr_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |
drivers/i2c/busses/i2c-npcm7xx.c npcm_i2c_master_start_xmit() -> npcm_i2c_master_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->PEC_mask | 0 |
| PARAM_VALUE | 0 | bus->ber_state | 0 |
| PARAM_VALUE | 0 | bus->cmd_complete.done | 0 |
| PARAM_VALUE | 0 | bus->cmd_err | 0 |
| PARAM_VALUE | 0 | bus->dest_addr | 0,2-254 |
| PARAM_VALUE | 0 | bus->int_time_stamp | 0 |
| PARAM_VALUE | 0 | bus->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bus->master_or_slave | 1 |
| PARAM_VALUE | 0 | bus->msgs | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->operation | 1-2 |
| PARAM_VALUE | 0 | bus->rd_ind | 0 |
| PARAM_VALUE | 0 | bus->rd_size | 0-s16max |
| PARAM_VALUE | 0 | bus->reg | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->slave | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bus->state | 1 |
| PARAM_VALUE | 0 | bus->stop_ind | 0 |
| PARAM_VALUE | 0 | bus->wr_ind | 0 |
| PARAM_VALUE | 0 | bus->wr_size | 0-s16max |
| BUF_SIZE | 0 | bus->rd_buf | s32min-(-2),0-s32max |
| BUF_SIZE | 0 | bus->wr_buf | s32min-(-2),0-s32max |
| DATA_SOURCE | 0 | bus | $0 |
| FUZZY_MAX | 0 | bus->operation | 2 |
| BIT_INFO | 0 | bus->dest_addr | 0x0,0xfe |
| HARD_MAX | 0 | bus->operation | 2 |
| NOCHECK_CALL |
drivers/i2c/busses/i2c-npcm7xx.c npcm_i2c_recovery_tgclk() -> npcm_i2c_master_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->reg | 4096-ptr_max |
| PARAM_VALUE | 0 | bus->state | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |