Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/mei/hw-txe.c mei_txe_write() -> mei_txe_input_payload_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->hw->aliveness | 1 |
| PARAM_VALUE | 0 | dev->hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->fw_status | 1892171916109312000,4618666058892304384,7593493386518028288 |
| PARAM_VALUE | 0 | dev->ops->hbuf_depth | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_free_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_is_ready | 1690850284272857088,6339080241053687808,7871574005532037120 |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_config | 4687228832182272,2436609113278754816,2720495906664833024 |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_reset | 6823567617015533568,7108818143572221952,7174017488852860928 |
| PARAM_VALUE | 0 | dev->ops->hw_start | 7229540606219857920,7670079761038143488,7907936787985408000 |
| PARAM_VALUE | 0 | dev->ops->intr_clear | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->intr_disable | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->intr_enable | 903144306715283456,5403100406195335168,7388517679128662016 |
| PARAM_VALUE | 0 | dev->ops->pg_in_transition | 4209194584924688384,5374780382896922624,6674113790361702400 |
| PARAM_VALUE | 0 | dev->ops->pg_is_enabled | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->pg_state | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->synchronize_irq | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->trc_status | 0,1905317001445699584 |
| PARAM_VALUE | 0 | dev->ops->write | 1788262204225368064,4755103806084919296,5663718548179369984 |
| PARAM_VALUE | 0 | dev->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->rd_msg_hdr | 0-4294967295 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->parent | (-1),1616 |
| CAPPED_DATA | 1 | idx | 1 |
| CAPPED_DATA | 1 | idx | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &dev->device_lock |
drivers/misc/mei/hw-txe.c mei_txe_write() -> mei_txe_input_payload_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->hw->aliveness | 1 |
| PARAM_VALUE | 0 | dev->hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->fw_status | 1892171916109312000,4618666058892304384,7593493386518028288 |
| PARAM_VALUE | 0 | dev->ops->hbuf_depth | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_free_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_is_ready | 1690850284272857088,6339080241053687808,7871574005532037120 |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_config | 4687228832182272,2436609113278754816,2720495906664833024 |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_reset | 6823567617015533568,7108818143572221952,7174017488852860928 |
| PARAM_VALUE | 0 | dev->ops->hw_start | 7229540606219857920,7670079761038143488,7907936787985408000 |
| PARAM_VALUE | 0 | dev->ops->intr_clear | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->intr_disable | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->intr_enable | 903144306715283456,5403100406195335168,7388517679128662016 |
| PARAM_VALUE | 0 | dev->ops->pg_in_transition | 4209194584924688384,5374780382896922624,6674113790361702400 |
| PARAM_VALUE | 0 | dev->ops->pg_is_enabled | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->pg_state | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->synchronize_irq | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->trc_status | 0,1905317001445699584 |
| PARAM_VALUE | 0 | dev->ops->write | 1788262204225368064,4755103806084919296,5663718548179369984 |
| PARAM_VALUE | 0 | dev->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->rd_msg_hdr | 0-4294967295 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->parent | (-1),1616 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | value | 0-u32max |
| HALF_LOCKED2 | 0 | &dev->device_lock |
drivers/misc/mei/hw-txe.c mei_txe_write() -> mei_txe_input_payload_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->hw->aliveness | 1 |
| PARAM_VALUE | 0 | dev->hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->fw_status | 1892171916109312000,4618666058892304384,7593493386518028288 |
| PARAM_VALUE | 0 | dev->ops->hbuf_depth | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_free_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_is_ready | 1690850284272857088,6339080241053687808,7871574005532037120 |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_config | 4687228832182272,2436609113278754816,2720495906664833024 |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_reset | 6823567617015533568,7108818143572221952,7174017488852860928 |
| PARAM_VALUE | 0 | dev->ops->hw_start | 7229540606219857920,7670079761038143488,7907936787985408000 |
| PARAM_VALUE | 0 | dev->ops->intr_clear | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->intr_disable | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->intr_enable | 903144306715283456,5403100406195335168,7388517679128662016 |
| PARAM_VALUE | 0 | dev->ops->pg_in_transition | 4209194584924688384,5374780382896922624,6674113790361702400 |
| PARAM_VALUE | 0 | dev->ops->pg_is_enabled | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->pg_state | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->read_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->synchronize_irq | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->trc_status | 0,1905317001445699584 |
| PARAM_VALUE | 0 | dev->ops->write | 1788262204225368064,4755103806084919296,5663718548179369984 |
| PARAM_VALUE | 0 | dev->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->rd_msg_hdr | 0-4294967295 |
| PARAM_VALUE | 2 | value | 0-255 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->parent | (-1),1616 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &dev->device_lock |