Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/mei/hw-me.c mei_me_d0i3_enter() -> mei_me_d0i3_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
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_state 1,3-8
PARAM_VALUE 0 dev->hbm_state 0
PARAM_VALUE 0 dev->hw 4096-ptr_max
PARAM_VALUE 0 dev->hw->d0i3_supported 1
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 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 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 intr 0
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
HARD_MAX 0 dev->reset_count 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->device_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &dev->device_lock
TYPE_LOCK (struct mei_device)->device_lock

drivers/misc/mei/hw-me.c mei_me_d0i3_enter_sync() -> mei_me_d0i3_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_state 3
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.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->device_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->device_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->device_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->device_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->device_lock.first_waiter->task->usage.refs.counter s32min-s32max
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->hbm_f_pg_supported 1
PARAM_VALUE 0 dev->hw 4096-ptr_max
PARAM_VALUE 0 dev->hw->d0i3_supported 1
PARAM_VALUE 0 dev->hw->slots 0
PARAM_VALUE 0 dev->hw->tp->assert_cnt.counter 0-s32max
PARAM_VALUE 0 dev->hw->tp->seq 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->cur_msg_completion.done 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->cur_msg_completion.wait.lock.owner (-1)
PARAM_VALUE 0 dev->hw->tp->spi->controller->cur_msg_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->cur_msg_incomplete 0-1
PARAM_VALUE 0 dev->hw->tp->spi->controller->cur_msg_need_completion 0-1
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->busy 0-1
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->clk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->map->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->map->cache_dirty 0-1
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->pdev->dev.kobj.sd->count.counter s32min-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->qos_request.node.prio s32min-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->qos_request.qos->target_value s32min-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->regmap->cache_dirty 1
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->rx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->rx_dma.ch->completed_cookie 1
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->rx_dma.ch->cookie 1
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->rx_dma.ch->device->owner->state 0-1,3-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->tx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->tx_dma.ch->completed_cookie 1
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->tx_dma.ch->cookie 1
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->tx_dma.ch->device->owner->state 0-1,3-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->wq->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->wq->flush_color s32min-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->wq->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dev.driver_data->wq->work_color s32min-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dma_rx->client_count 1-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->dma_tx->client_count 1-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->hw->tp->spi->controller->io_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->hw->tp->spi->controller->io_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->hw->tp->spi->controller->io_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->io_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->io_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->hw->tp->spi->controller->kworker->lock.owner (-1)
PARAM_VALUE 0 dev->hw->tp->spi->controller->kworker->lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->hw->tp->spi->controller->pump_messages.worker->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 dev->hw->write_lock_cnt.counter 0-s32max
PARAM_VALUE 0 dev->ops->intr_clear 4096-ptr_max
PARAM_VALUE 0 dev->pg_blocked 0
PARAM_VALUE 0 dev->pg_event 3
PARAM_VALUE 0 dev->write_list.next 4096-ptr_max
PARAM_VALUE 0 *dev->hw->tp->spi->controller->cur_msg->opt_state (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->hw->tp->spi->controller->cur_msg_completion.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->hw->tp->spi->controller->dev.driver_data->sram_rx_buf (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->hw->tp->spi->controller->dev.driver_data->wq->lockdep_map->name 0-255
PARAM_VALUE 0 *dev->hw->tp->spi->controller->dummy_rx (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->hw->tp->spi->controller->dummy_tx (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->hw->tp->spi->controller->io_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->hw->tp->tx_buf->buf 0-255
PARAM_VALUE 0 *dev->hw->tx_buf 0-255
PARAM_VALUE 1 intr 1
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 &dev->device_lock 1
DATA_SOURCE 0 dev $0
UNITS 0 dev unit_byte
LOCK2 0 &dev->device_lock
TYPE_LOCK (struct mei_device)->device_lock