Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/amd/iommu.c iommu_completion_wait() -> build_completion_wait()

Type Parameter Key Value
PARAM_VALUE 0 cmd 7202541046540042240
PARAM_VALUE 1 iommu 4096-ptr_max
PARAM_VALUE 1 iommu->iommu.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 iommu->iommu.ops->blocked_domain 0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960
PARAM_VALUE 1 iommu->iommu.ops->capable 0,462993810217750528,1218212999370723328,2068158786969784320,4814261608348082176,5273877608991895552,6378217523337945088
PARAM_VALUE 1 iommu->iommu.ops->def_domain_type 0,757924381194936320,3094419801163452416,5117618908541267968,5322346410050064384
PARAM_VALUE 1 iommu->iommu.ops->default_domain 0,5314750282517213184
PARAM_VALUE 1 iommu->iommu.ops->device_group 0,4096-ptr_max
PARAM_VALUE 1 iommu->iommu.ops->domain_alloc_identity 0,1824181410664046592
PARAM_VALUE 1 iommu->iommu.ops->domain_alloc_nested 0,3787243451007922176,5587605712304230400
PARAM_VALUE 1 iommu->iommu.ops->domain_alloc_paging 0,4096-ptr_max
PARAM_VALUE 1 iommu->iommu.ops->domain_alloc_paging_flags 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584
PARAM_VALUE 1 iommu->iommu.ops->domain_alloc_sva 0,701458021798502400,7542271727435345920
PARAM_VALUE 1 iommu->iommu.ops->get_resv_regions 0,1505888117193461760,1796066543583182848,4029229782243753984,4300132076315938816,5136130486519664640,5287335354533576704,8650506204712415232
PARAM_VALUE 1 iommu->iommu.ops->get_viommu_size 0,890856020400304128,8808264738914050048
PARAM_VALUE 1 iommu->iommu.ops->hw_info 0,4734748057756364800,6417568837149130752,7401392304513224704
PARAM_VALUE 1 iommu->iommu.ops->identity_domain 0,4096-ptr_max
PARAM_VALUE 1 iommu->iommu.ops->is_attach_deferred 0,5818038523887214592,7788280626033360896
PARAM_VALUE 1 iommu->iommu.ops->of_xlate 0,4096-ptr_max
PARAM_VALUE 1 iommu->iommu.ops->owner 0
PARAM_VALUE 1 iommu->iommu.ops->page_response 0,6092340583743537152,6863561957491752960,7827827559097483264
PARAM_VALUE 1 iommu->iommu.ops->probe_device 0,4096-ptr_max
PARAM_VALUE 1 iommu->iommu.ops->probe_finalize 0,4224741400359067648,6516402457225019392,8434375612550443008,8539622431235026944
PARAM_VALUE 1 iommu->iommu.ops->release_device 0,4096-ptr_max
PARAM_VALUE 1 iommu->iommu.ops->release_domain 0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808
PARAM_VALUE 1 iommu->iommu.ops->viommu_init 0,3877766920581869568,5010379558565462016
PARAM_VALUE 1 iommu->irte_ops->activate 765957658605199360,7596493937302646784
PARAM_VALUE 1 iommu->irte_ops->clear_allocated 4162858944769048576,6981360881082085376
PARAM_VALUE 1 iommu->irte_ops->deactivate 4005446521204465664,8637580016598749184
PARAM_VALUE 1 iommu->irte_ops->get 0
PARAM_VALUE 1 iommu->irte_ops->is_allocated 2587386044963737600,5990099993458462720
PARAM_VALUE 1 iommu->irte_ops->prepare 2717976059262840832,7158738662058942464
PARAM_VALUE 1 iommu->irte_ops->set_affinity 3877555456951496704,4834473603480862720
PARAM_VALUE 1 iommu->irte_ops->set_allocated 866410985015562240,1851182215227572224
PARAM_VALUE 1 iommu->lock.dep_map->name 0-255
PARAM_VALUE 1 iommu->lock.owner_cpu 0
PARAM_VALUE 1 iommu->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 iommu->need_sync 1
PARAM_VALUE 1 *iommu->dev->saved_config_space 0-4294967295
PARAM_VALUE 1 *iommu->stored_l2 0-4294967295
DATA_SOURCE 1 iommu $0
DATA_SOURCE 2 data r get_cmdsem_val
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 iommu->acpi_flags 0-255
HOST_DATA 1 iommu->cap 0-u32max
HOST_DATA 1 iommu->cap_ptr 0-u16max
HOST_DATA 1 iommu->cmd_buf_head 0-u32max
HOST_DATA 1 iommu->cmd_buf_tail 0-u32max
HOST_DATA 1 iommu->cmd_sem_paddr 0-u64max
HOST_DATA 1 iommu->dbg_cap_offset s32min-s32max
HOST_DATA 1 iommu->dbg_mmio_offset s32min-s32max
HOST_DATA 1 iommu->dev->current_state 0-3[c]
HOST_DATA 1 iommu->devid 0-u16max
HOST_DATA 1 iommu->features 0-u64max
HOST_DATA 1 iommu->features2 0-u64max
HOST_DATA 1 iommu->flags 0-u32max
HOST_DATA 1 iommu->index s32min-s32max
HOST_DATA 1 iommu->int_enabled 0-1
HOST_DATA 1 iommu->iommu.max_pasids 0-u32max
HOST_DATA 1 iommu->iommu.ready 0-1
HOST_DATA 1 iommu->irtcachedis_enabled 0-1
HOST_DATA 1 iommu->max_banks 0-255
HOST_DATA 1 iommu->max_counters 0-255
HOST_DATA 1 iommu->mmio_phys 0-u64max
HOST_DATA 1 iommu->mmio_phys_end 0-u64max
HOST_DATA 1 iommu->need_sync 1
HOST_DATA 1 iommu->stored_addr_hi 0-u32max
HOST_DATA 1 iommu->stored_addr_lo 0-u32max
LOCK2 flags
LOCK2 1 &iommu->lock
HALF_LOCKED2 &dev_data->dte_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &iommu_probe_device_lock
HALF_LOCKED2 global &iommu_table_lock
TYPE_LOCK (struct amd_iommu)->lock

drivers/iommu/amd/iommu.c iommu_flush_irt_and_complete() -> build_completion_wait()

Type Parameter Key Value
PARAM_VALUE 0 cmd 496430187612237824
PARAM_VALUE 1 iommu 4096-ptr_max
PARAM_VALUE 1 iommu->irtcachedis_enabled 0
PARAM_VALUE 1 iommu->lock.dep_map->name 0-255
PARAM_VALUE 1 iommu->lock.owner_cpu 0
PARAM_VALUE 1 iommu->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 iommu->pci_seg 4096-ptr_max
PARAM_VALUE 1 iommu->pci_seg->rlookup_table 4096-ptr_max
DATA_SOURCE 1 iommu $0
DATA_SOURCE 2 data r get_cmdsem_val
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 iommu->acpi_flags 0-255
HOST_DATA 1 iommu->cap 0-u32max
HOST_DATA 1 iommu->cap_ptr 0-u16max
HOST_DATA 1 iommu->cmd_buf_head 0-u32max
HOST_DATA 1 iommu->cmd_buf_tail 0-u32max
HOST_DATA 1 iommu->cmd_sem_paddr 0-u64max
HOST_DATA 1 iommu->dbg_cap_offset s32min-s32max
HOST_DATA 1 iommu->dbg_mmio_offset s32min-s32max
HOST_DATA 1 iommu->devid 0-u16max
HOST_DATA 1 iommu->features 0-u64max
HOST_DATA 1 iommu->features2 0-u64max
HOST_DATA 1 iommu->flags 0-u32max
HOST_DATA 1 iommu->index s32min-s32max
HOST_DATA 1 iommu->int_enabled 0-1
HOST_DATA 1 iommu->iommu.max_pasids 0-u32max
HOST_DATA 1 iommu->iommu.ready 0-1
HOST_DATA 1 iommu->irtcachedis_enabled 0
HOST_DATA 1 iommu->max_banks 0-255
HOST_DATA 1 iommu->max_counters 0-255
HOST_DATA 1 iommu->mmio_phys 0-u64max
HOST_DATA 1 iommu->mmio_phys_end 0-u64max
HOST_DATA 1 iommu->need_sync 1
HOST_DATA 1 iommu->stored_addr_hi 0-u32max
HOST_DATA 1 iommu->stored_addr_lo 0-u32max
LOCK2 flags
LOCK2 1 &iommu->lock
TYPE_LOCK (struct amd_iommu)->lock