Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/mmc/core/mmc.c mmc_hs200_tuning() -> mmc_execute_tuning()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->csd.mmca_vsn 4-255
PARAM_VALUE 0 card->dev.bus 9076524025894289408
PARAM_VALUE 0 card->dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 card->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 card->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 card->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 card->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 card->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 card->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 card->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 card->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 card->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 card->dev.flags 4096-ptr_max
PARAM_VALUE 0 card->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 card->dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 card->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 card->dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 card->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 card->dev.kobj.state_initialized 1
PARAM_VALUE 0 card->dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 card->dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 card->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 card->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->dev.links.status 0
PARAM_VALUE 0 card->dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 card->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 card->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->dev.numa_node (-1)
PARAM_VALUE 0 card->dev.parent 4096-ptr_max
PARAM_VALUE 0 card->dev.power.child_count.counter 0
PARAM_VALUE 0 card->dev.power.deferred_resume 0
PARAM_VALUE 0 card->dev.power.disable_depth 1
PARAM_VALUE 0 card->dev.power.early_init 1
PARAM_VALUE 0 card->dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 card->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 card->dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 card->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 card->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->dev.power.idle_notification 0
PARAM_VALUE 0 card->dev.power.ignore_children 0
PARAM_VALUE 0 card->dev.power.is_late_suspended 0
PARAM_VALUE 0 card->dev.power.is_noirq_suspended 0
PARAM_VALUE 0 card->dev.power.is_prepared 0
PARAM_VALUE 0 card->dev.power.is_suspended 0
PARAM_VALUE 0 card->dev.power.last_status (-1)
PARAM_VALUE 0 card->dev.power.needs_force_resume 0
PARAM_VALUE 0 card->dev.power.qos 0
PARAM_VALUE 0 card->dev.power.request 0
PARAM_VALUE 0 card->dev.power.request_pending 0
PARAM_VALUE 0 card->dev.power.runtime_auto 1
PARAM_VALUE 0 card->dev.power.runtime_error 0
PARAM_VALUE 0 card->dev.power.runtime_status 2
PARAM_VALUE 0 card->dev.power.timer_expires 0
PARAM_VALUE 0 card->dev.power.usage_count.counter 0
PARAM_VALUE 0 card->dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 card->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 card->dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 card->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 card->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 card->dev.release 8584698038258331648
PARAM_VALUE 0 card->erase_arg 0-1,3
PARAM_VALUE 0 card->ext_csd.hs200_max_dtr 0,200000000
PARAM_VALUE 0 card->ext_csd.hs_max_dtr 0,26000000,52000000
PARAM_VALUE 0 card->host 4096-ptr_max
PARAM_VALUE 0 card->host->bus_ops 5007941798604951552
PARAM_VALUE 0 card->host->ios.drv_type 1-255
PARAM_VALUE 0 card->host->ios.enhanced_strobe 1
PARAM_VALUE 0 card->host->ios.timing 9
PARAM_VALUE 0 card->host->private->hs400_mode 1
PARAM_VALUE 0 card->host->private->max_clk 0-4294967295
PARAM_VALUE 0 card->host->private->mmc->actual_clock 0-4294967295
PARAM_VALUE 0 card->mmc_avail_type 64-u32max
PARAM_VALUE 0 card->ocr 128-u32max
PARAM_VALUE 0 card->rca 1
PARAM_VALUE 0 card->type 0
BUF_SIZE 0 card (-1),2576
BUF_SIZE 0 card (-1),2576
BUF_SIZE 0 card->dev.type (-1),48
DATA_SOURCE 0 card $0
FUZZY_MAX 0 card->erase_arg 3
BIT_INFO 0 card->ext_csd.part_config 0x0,0xf8
HARD_MAX 0 card->erase_arg 3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 card->host->fail_mmc_request.stacktrace_depth 0-u64max
NO_OVERFLOW_SIMPLE 0 card->host->ios.clock
HALF_LOCKED2 &pool->lock

drivers/mmc/core/sd.c mmc_sd_init_uhs_card() -> mmc_execute_tuning()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->drive_strength 0-15
PARAM_VALUE 0 card->host 4096-ptr_max
PARAM_VALUE 0 card->host->card 0,4096-ptr_max
PARAM_VALUE 0 card->host->ios.bus_width 2
PARAM_VALUE 0 card->host->ios.timing 5-7
PARAM_VALUE 0 card->host->led->brightness 0-4294967295
PARAM_VALUE 0 card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 card->host->ongoing_mrq->cmd_completion.wait.lock.owner 0,(-1)
PARAM_VALUE 0 card->host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu 0,u32max
PARAM_VALUE 0 card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 card->host->ops 4096-ptr_max
PARAM_VALUE 0 card->host->ops->set_ios 4096-ptr_max
PARAM_VALUE 0 card->host->private->pcr->pcr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 card->host->private->ucr->dev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 card->sd_bus_speed 0-4
PARAM_VALUE 0 card->sw_caps.uhs_max_dtr 25000000,50000000,100000000,208000000
CAPPED_DATA 0 card->sd_bus_speed 1
DATA_SOURCE 0 card $0
BIT_INFO 0 card->csd.cmdclass 0x400,0xffffffffffffffff

drivers/mmc/core/sdio.c mmc_sdio_init_uhs_card() -> mmc_execute_tuning()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->host 4096-ptr_max
PARAM_VALUE 0 card->host->ios.timing 5-6
PARAM_VALUE 0 card->host->ops 4096-ptr_max
PARAM_VALUE 0 card->scr.sda_spec3 1-255
DATA_SOURCE 0 card $0
BIT_INFO 0 card->host->ios.timing 0x4,0x7

drivers/mmc/core/host.c mmc_retune() -> mmc_execute_tuning()

Type Parameter Key Value
PARAM_VALUE 0 card 1-u64max
PARAM_VALUE 0 card->dev.dma_ops->alloc 0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE 0 card->dev.dma_ops->alloc_pages_op 0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE 0 card->dev.dma_ops->dma_supported 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE 0 card->dev.dma_ops->free 0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE 0 card->dev.dma_ops->free_pages 0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE 0 card->dev.dma_ops->get_required_mask 0,7770840938859397120
PARAM_VALUE 0 card->dev.dma_ops->get_sgtable 0,1322759480623644672
PARAM_VALUE 0 card->dev.dma_ops->map_phys 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE 0 card->dev.dma_ops->map_sg 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE 0 card->dev.dma_ops->max_mapping_size 0,8830639662091943936
PARAM_VALUE 0 card->dev.dma_ops->mmap 0,5761417605877342208,7694740394750603264
PARAM_VALUE 0 card->dev.dma_ops->sync_sg_for_cpu 0,4862850025765572608
PARAM_VALUE 0 card->dev.dma_ops->sync_sg_for_device 0,3732476178258022400
PARAM_VALUE 0 card->dev.dma_ops->sync_single_for_cpu 0,1155325867376779264
PARAM_VALUE 0 card->dev.dma_ops->sync_single_for_device 0,8781567156597239808
PARAM_VALUE 0 card->dev.dma_ops->unmap_phys 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE 0 card->dev.dma_ops->unmap_sg 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE 0 card->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 card->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 card->dev.of_node->fwnode.ops->device_is_available 0,4456967533150867456,5897185320164048896
PARAM_VALUE 0 card->dev.of_node->fwnode.ops->get_reference_args 0,2035688989253132288,3281501320512299008,8341377935324684288
PARAM_VALUE 0 card->dev.of_node->fwnode.ops->graph_parse_endpoint 0,162100920750850048,3588870114635677696,7927257539208077312
PARAM_VALUE 0 card->dev.of_node->fwnode.ops->iomap 0,5992382552872980480
PARAM_VALUE 0 card->dev.of_node->fwnode.ops->irq_get 0,4799135008179109888,6119964739367534592
PARAM_VALUE 0 card->dev.of_node->fwnode.ops->property_read_bool 0,707518234024075264,958538007259615232,5083868193192632320
PARAM_VALUE 0 card->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 card->host->bus_ops->hw_reset 4096-ptr_max
PARAM_VALUE 0 card->host->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 card->host->debugfs_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 card->host->debugfs_root->d_sb->__s_d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 card->host->parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 *card->host->err_stats 0-4294967295
PARAM_VALUE 0 *card->raw_cid 0-4294967295
PARAM_VALUE 0 *card->raw_csd 0-4294967295
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 card->host->fail_mmc_request.stacktrace_depth 0-u64max
NO_OVERFLOW_SIMPLE 0 card->debugfs_root->d_fsdata
NO_OVERFLOW_SIMPLE 0 card->debugfs_root->d_fsdata->d_fsdata
NO_OVERFLOW_SIMPLE 0 card->dev.dma_range_map
NO_OVERFLOW_SIMPLE 0 card->dev.p
NO_OVERFLOW_SIMPLE 0 card->dev.p->deferred_probe_reason
NO_OVERFLOW_SIMPLE 0 card->dev.physical_location
NO_OVERFLOW_SIMPLE 0 card->host->ios.clock