Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/misc/mei/hw-me.c, line 1400
- drivers/misc/mei/hw-txe.c, line 1137
- drivers/misc/mei/interrupt.c, line 600
- drivers/misc/mei/platform-vsc.c, line 326
Smatch caller information:
drivers/misc/mei/hw-txe.c mei_txe_irq_thread_handler() -> mei_irq_write_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->device_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->device_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->device_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->device_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->device_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->device_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->device_lock.wait_lock.owner_cpu | u32max |
| 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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->rd_msg_hdr | 0-4294967295 |
| PARAM_VALUE | 1 | cmpl_list | 1924799130280931328 |
| PARAM_VALUE | 1 | cmpl_list->next | 1924799130280931328 |
| PARAM_VALUE | 1 | cmpl_list->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | &dev->device_lock | 1 |
| DATA_SOURCE | 0 | dev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dev->hw->intr_cause | s64min-s64max[c] |
| HOST_DATA | 0 | dev->hw->tp->spi->controller->dev.driver_data->ctx.modulctrl | 0-4294967291[c] |
| HOST_DATA | 0 | dev->hw->tp->spi->controller->dev.driver_data->para | 0-255 |
| LOCK2 | 0 | &dev->device_lock | |
| TYPE_LOCK | (struct mei_device)->device_lock |
drivers/misc/mei/hw-me.c mei_me_irq_thread_handler() -> mei_irq_write_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.pins->p | 0,4096-s64max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->device_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->device_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->device_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->device_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->device_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->device_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->device_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->hw->pg_state | 0-1 |
| PARAM_VALUE | 0 | dev->hw->read_fws | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pg_event | 0,4-u32max |
| PARAM_VALUE | 0 | *dev->rd_msg_buf | 0-255 |
| PARAM_VALUE | 0 | *dev->rd_msg_hdr | 0-4294967295 |
| PARAM_VALUE | 1 | cmpl_list | 7842920067251765248 |
| PARAM_VALUE | 1 | cmpl_list->next | 7842920067251765248 |
| PARAM_VALUE | 1 | cmpl_list->prev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | &dev->device_lock | 1 |
| DATA_SOURCE | 0 | dev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dev->hw->tp->spi->controller->dev.driver_data->ctx.modulctrl | 0-4294967291[c] |
| HOST_DATA | 0 | dev->hw->tp->spi->controller->dev.driver_data->para | 0-255 |
| UNITS | 0 | dev | unit_byte |
| LOCK2 | 0 | &dev->device_lock | |
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct mei_device)->device_lock |
drivers/misc/mei/platform-vsc.c mei_vsc_event_cb() -> mei_irq_write_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev_state | 0,2-3,5-u32max |
| PARAM_VALUE | 0 | dev->hw->tp | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hbuf_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->rd_msg_buf | 0-255 |
| PARAM_VALUE | 0 | *dev->rd_msg_hdr | 0-4294967295 |
| PARAM_VALUE | 1 | cmpl_list | 637857447402401792 |
| PARAM_VALUE | 1 | cmpl_list->next | 637857447402401792 |
| PARAM_VALUE | 1 | cmpl_list->prev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | 7264 |
| BUF_SIZE | 0 | dev | 7264 |
| DATA_SOURCE | 0 | dev | $0 |
| HOST_DATA | 0 | dev->hw->tp->spi->controller->dev.driver_data->ctx.modulctrl | 0-4294967291[c] |
| HOST_DATA | 0 | dev->hw->tp->spi->controller->dev.driver_data->para | 0-255 |
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pool->lock |