Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/mei/hw-me.c me_intr_clear() -> mei_hcsr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->hw | 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->fw_status | 1892171916109312000,4618666058892304384,7593493386518028288 |
| PARAM_VALUE | 0 | dev->ops->hbuf_depth | 4493609588499693568,6397769098652545024,8397168056251473920 |
| PARAM_VALUE | 0 | dev->ops->hbuf_free_slots | 2696239237554749440,4811591524735586304,8070370414043910144 |
| PARAM_VALUE | 0 | dev->ops->hbuf_is_ready | 1690850284272857088,6339080241053687808,7871574005532037120 |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 3804419461616164864,7116780837857648640,7173419946591674368 |
| PARAM_VALUE | 0 | dev->ops->hw_config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 226425921477955584,2863643223331184640,3620187017776328704 |
| 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 | 1197540466041032704,2802521432081928192,8961690004313366528 |
| 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 | 2388600526016442368,4927159228042289152,5850384228840607744 |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 406782190215454720,636933006306930688,2567988083355525120 |
| PARAM_VALUE | 0 | dev->ops->read | 602078078692544512,7469201707933073408,8913246961963081728 |
| PARAM_VALUE | 0 | dev->ops->read_hdr | 2497886220422848512,3581734430787620864,7640952985142583296 |
| 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->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 |
| DATA_SOURCE | 1 | reg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | reg | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | dev->cdev->count | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->device_lock |
drivers/misc/mei/hw-me.c mei_hcsr_set() -> mei_hcsr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| 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->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->fw_status | 4096-ptr_max |
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ops->hw_reset | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 1 | reg | $1 [m] |
| BIT_INFO | 1 | reg | 0x0,0xffffffbd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | reg | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->cdev->count | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->device_lock |
drivers/misc/mei/hw-me.c mei_me_hw_reset() -> mei_hcsr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.parent->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.parent->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->dev.parent->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->dev_state | 1-8 |
| PARAM_VALUE | 0 | dev->hbm_state | 0 |
| PARAM_VALUE | 0 | dev->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->init_clients_timer | 0 |
| 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 | 4493609588499693568,6397769098652545024,8397168056251473920 |
| PARAM_VALUE | 0 | dev->ops->hbuf_free_slots | 2696239237554749440,4811591524735586304,8070370414043910144 |
| PARAM_VALUE | 0 | dev->ops->hbuf_is_ready | 1690850284272857088,6339080241053687808,7871574005532037120 |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 3804419461616164864,7116780837857648640,7173419946591674368 |
| PARAM_VALUE | 0 | dev->ops->hw_config | 4687228832182272,2436609113278754816,2720495906664833024 |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 226425921477955584,2863643223331184640,3620187017776328704 |
| 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 | 1197540466041032704,2802521432081928192,8961690004313366528 |
| 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 | 2388600526016442368,4927159228042289152,5850384228840607744 |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 406782190215454720,636933006306930688,2567988083355525120 |
| PARAM_VALUE | 0 | dev->ops->read | 602078078692544512,7469201707933073408,8913246961963081728 |
| PARAM_VALUE | 0 | dev->ops->read_hdr | 2497886220422848512,3581734430787620864,7640952985142583296 |
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->parent->power.last_status | (-1) |
| PARAM_VALUE | 0 | dev->parent->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | dev->parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->recvd_hw_ready | 0 |
| PARAM_VALUE | 0 | dev->reset_count | 0-3 |
| PARAM_VALUE | 0 | *dev->rd_msg_hdr | 0-4294967295 |
| PARAM_VALUE | 1 | reg | 0,2-u32max |
| 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 |
| FUZZY_MAX | 0 | dev->dev_state | 4 |
| FUZZY_MAX | 0 | dev->reset_count | 3 |
| BIT_INFO | 1 | reg | 0x56,0xffffffff |
| HARD_MAX | 0 | dev->reset_count | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | reg | 0,2-u32max |
| NO_OVERFLOW_SIMPLE | 0 | dev->cdev->count | |
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | 0 | &dev->device_lock | |
| TYPE_LOCK | (struct mei_device)->device_lock |