Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/hid/intel-thc-hid/intel-thc/intel-thc-dev.c thc_i2c_subip_pio_read() -> pio_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_ctx->use_write_interrupts | 0-1 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->thc_regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->thc_regmap->async | 0 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | *dev->thc_regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | buffer | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 970961383755481088,7369240567997456384,7846603948558540800 |
| PARAM_VALUE | 2 | *size | 1-u32max |
| BUF_SIZE | 0 | dev | (-1),408 |
| BUF_SIZE | 0 | dev | (-1),408 |
| BUF_SIZE | 0 | dev->dev | (-1),1616 |
| CAPPED_DATA | 0 | dev->thc_regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | &dev->thc_bus_lock | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | buffer | $3 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &dev->thc_bus_lock | |
| TYPE_LOCK | (struct thc_device)->thc_bus_lock |
drivers/hid/intel-thc-hid/intel-thc/intel-thc-dev.c thc_i2c_subip_pio_write() -> pio_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_ctx->use_write_interrupts | 0-1 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->thc_regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->thc_regmap->async | 0 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | *dev->thc_regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->thc_regmap->work_buf | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | buffer | 0 |
| PARAM_VALUE | 2 | size | 0 |
| BUF_SIZE | 0 | dev | (-1),408 |
| BUF_SIZE | 0 | dev | (-1),408 |
| BUF_SIZE | 0 | dev->dev | (-1),1616 |
| CAPPED_DATA | 0 | dev->thc_regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | &dev->thc_bus_lock | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &dev->thc_bus_lock | |
| TYPE_LOCK | (struct thc_device)->thc_bus_lock |
drivers/hid/intel-thc-hid/intel-thc/intel-thc-dev.c thc_tic_pio_read() -> pio_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_ctx->use_write_interrupts | 0-1 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->thc_regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->thc_regmap->async | 0 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1,4096-s64max |
| PARAM_VALUE | 0 | dev->thc_regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | *dev->thc_regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 1 | buffer | 1-u64max |
| PARAM_VALUE | 2 | size | 512152855356129280,7366168942040752128,8066319722940014592 |
| BUF_SIZE | 1 | buffer | (-1),28,4096-u16max |
| BUF_SIZE | 1 | buffer | (-1),28,4096-u16max |
| CAPPED_DATA | 0 | dev->thc_regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | &dev->thc_bus_lock | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | buffer | $4 |
| DATA_SOURCE | 2 | size | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | dev->dev->power.wakeirq->irq | |
| LOCK2 | 0 | &dev->thc_bus_lock | |
| TYPE_LOCK | (struct thc_device)->thc_bus_lock |
drivers/hid/intel-thc-hid/intel-thc/intel-thc-dev.c thc_tic_pio_write() -> pio_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_ctx->use_write_interrupts | 0-1 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->thc_regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->thc_regmap->async | 0 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1,4096-s64max |
| PARAM_VALUE | 0 | dev->thc_regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | dev->thc_regmap->lock | 0-s64max |
| PARAM_VALUE | 0 | dev->thc_regmap->unlock | 0-s64max |
| PARAM_VALUE | 0 | *dev->thc_regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->thc_regmap->work_buf | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | buffer | 0 |
| PARAM_VALUE | 2 | size | 0 |
| CAPPED_DATA | 0 | dev->thc_regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | &dev->thc_bus_lock | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &dev->thc_bus_lock | |
| TYPE_LOCK | (struct thc_device)->thc_bus_lock |
drivers/hid/intel-thc-hid/intel-thc/intel-thc-dev.c thc_tic_pio_write_and_read() -> pio_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->msi.data | 1-u64max |
| 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->dma_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_ctx->dma_config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_ctx->use_write_interrupts | 1 |
| PARAM_VALUE | 0 | dev->i2c_subip_regs | 1-u64max |
| PARAM_VALUE | 0 | dev->mmio_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pio_int_supported | 0 |
| PARAM_VALUE | 0 | dev->port_type | 1 |
| PARAM_VALUE | 0 | dev->swdma_complete_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->swdma_complete_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->swdma_complete_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->swdma_complete_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->swdma_complete_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->thc_bus_lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->thc_bus_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->thc_regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->thc_regmap->async | 0 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | dev->thc_regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1,4096-s64max |
| PARAM_VALUE | 0 | dev->thc_regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | dev->write_complete_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->write_complete_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->write_complete_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->write_complete_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->write_complete_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->thc_regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->thc_regmap->work_buf | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | buffer | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 1658786486746988544 |
| PARAM_VALUE | 2 | *size | 0 |
| BUF_SIZE | 1 | buffer | 30 |
| BUF_SIZE | 1 | buffer | 30 |
| CAPPED_DATA | 0 | dev->thc_regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | dev->thc_regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | &dev->thc_bus_lock | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | buffer | $6 |
| DATA_SOURCE | 2 | size | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &dev->thc_bus_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct thc_device)->thc_bus_lock |