Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/amd/iommu.c iommu_completion_wait() -> wait_on_sem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | iommu->iommu.ops->blocked_domain | 0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960 |
| PARAM_VALUE | 0 | iommu->iommu.ops->capable | 0,462993810217750528,1218212999370723328,2068158786969784320,4814261608348082176,5273877608991895552,6378217523337945088 |
| PARAM_VALUE | 0 | iommu->iommu.ops->def_domain_type | 0,757924381194936320,3094419801163452416,5117618908541267968,5322346410050064384 |
| PARAM_VALUE | 0 | iommu->iommu.ops->default_domain | 0,5314750282517213184 |
| PARAM_VALUE | 0 | iommu->iommu.ops->device_group | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_identity | 0,1824181410664046592 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_nested | 0,3787243451007922176,5587605712304230400 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_paging | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 0 | iommu->iommu.ops->get_resv_regions | 0,1505888117193461760,1796066543583182848,4029229782243753984,4300132076315938816,5136130486519664640,5287335354533576704,8650506204712415232 |
| PARAM_VALUE | 0 | iommu->iommu.ops->get_viommu_size | 0,890856020400304128,8808264738914050048 |
| PARAM_VALUE | 0 | iommu->iommu.ops->hw_info | 0,4734748057756364800,6417568837149130752,7401392304513224704 |
| PARAM_VALUE | 0 | iommu->iommu.ops->identity_domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->is_attach_deferred | 0,5818038523887214592,7788280626033360896 |
| PARAM_VALUE | 0 | iommu->iommu.ops->of_xlate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->owner | 0 |
| PARAM_VALUE | 0 | iommu->iommu.ops->page_response | 0,6092340583743537152,6863561957491752960,7827827559097483264 |
| PARAM_VALUE | 0 | iommu->iommu.ops->probe_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->probe_finalize | 0,4224741400359067648,6516402457225019392,8434375612550443008,8539622431235026944 |
| PARAM_VALUE | 0 | iommu->iommu.ops->release_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->release_domain | 0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808 |
| PARAM_VALUE | 0 | iommu->iommu.ops->viommu_init | 0,3877766920581869568,5010379558565462016 |
| PARAM_VALUE | 0 | iommu->irte_ops->activate | 765957658605199360,7596493937302646784 |
| PARAM_VALUE | 0 | iommu->irte_ops->clear_allocated | 4162858944769048576,6981360881082085376 |
| PARAM_VALUE | 0 | iommu->irte_ops->deactivate | 4005446521204465664,8637580016598749184 |
| PARAM_VALUE | 0 | iommu->irte_ops->get | 0 |
| PARAM_VALUE | 0 | iommu->irte_ops->is_allocated | 2587386044963737600,5990099993458462720 |
| PARAM_VALUE | 0 | iommu->irte_ops->prepare | 2717976059262840832,7158738662058942464 |
| PARAM_VALUE | 0 | iommu->irte_ops->set_affinity | 3877555456951496704,4834473603480862720 |
| PARAM_VALUE | 0 | iommu->irte_ops->set_allocated | 866410985015562240,1851182215227572224 |
| PARAM_VALUE | 0 | iommu->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iommu->lock.owner | (-1) |
| PARAM_VALUE | 0 | iommu->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iommu->need_sync | 0 |
| PARAM_VALUE | 0 | *iommu->dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *iommu->stored_l2 | 0-4294967295 |
| DATA_SOURCE | 0 | iommu | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | iommu->acpi_flags | 0-255 |
| HOST_DATA | 0 | iommu->cap | 0-u32max |
| HOST_DATA | 0 | iommu->cap_ptr | 0-u16max |
| HOST_DATA | 0 | iommu->cmd_buf_head | 0-u32max |
| HOST_DATA | 0 | iommu->cmd_buf_tail | 0-u32max |
| HOST_DATA | 0 | iommu->cmd_sem_paddr | 0-u64max |
| HOST_DATA | 0 | iommu->cmd_sem_val | 0-u64max |
| HOST_DATA | 0 | iommu->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 0 | iommu->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 0 | iommu->dev->current_state | 0-3[c] |
| HOST_DATA | 0 | iommu->devid | 0-u16max |
| HOST_DATA | 0 | iommu->features | 0-u64max |
| HOST_DATA | 0 | iommu->features2 | 0-u64max |
| HOST_DATA | 0 | iommu->flags | 0-u32max |
| HOST_DATA | 0 | iommu->index | s32min-s32max |
| HOST_DATA | 0 | iommu->int_enabled | 0-1 |
| HOST_DATA | 0 | iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->irtcachedis_enabled | 0-1 |
| HOST_DATA | 0 | iommu->max_banks | 0-255 |
| HOST_DATA | 0 | iommu->max_counters | 0-255 |
| HOST_DATA | 0 | iommu->mmio_phys | 0-u64max |
| HOST_DATA | 0 | iommu->mmio_phys_end | 0-u64max |
| HOST_DATA | 0 | iommu->need_sync | 0 |
| HOST_DATA | 0 | iommu->stored_addr_hi | 0-u32max |
| HOST_DATA | 0 | iommu->stored_addr_lo | 0-u32max |
| HOST_DATA | 1 | data | 0-u64max |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &iommu_probe_device_lock |
drivers/iommu/amd/iommu.c iommu_completion_wait() -> wait_on_sem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->cmd_buf_tail | 0-8191 |
| PARAM_VALUE | 0 | iommu->iommu.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | iommu->iommu.ops->blocked_domain | 0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960 |
| PARAM_VALUE | 0 | iommu->iommu.ops->capable | 0,462993810217750528,1218212999370723328,2068158786969784320,4814261608348082176,5273877608991895552,6378217523337945088 |
| PARAM_VALUE | 0 | iommu->iommu.ops->def_domain_type | 0,757924381194936320,3094419801163452416,5117618908541267968,5322346410050064384 |
| PARAM_VALUE | 0 | iommu->iommu.ops->default_domain | 0,5314750282517213184 |
| PARAM_VALUE | 0 | iommu->iommu.ops->device_group | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_identity | 0,1824181410664046592 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_nested | 0,3787243451007922176,5587605712304230400 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_paging | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 0 | iommu->iommu.ops->get_resv_regions | 0,1505888117193461760,1796066543583182848,4029229782243753984,4300132076315938816,5136130486519664640,5287335354533576704,8650506204712415232 |
| PARAM_VALUE | 0 | iommu->iommu.ops->get_viommu_size | 0,890856020400304128,8808264738914050048 |
| PARAM_VALUE | 0 | iommu->iommu.ops->hw_info | 0,4734748057756364800,6417568837149130752,7401392304513224704 |
| PARAM_VALUE | 0 | iommu->iommu.ops->identity_domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->is_attach_deferred | 0,5818038523887214592,7788280626033360896 |
| PARAM_VALUE | 0 | iommu->iommu.ops->of_xlate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->owner | 0 |
| PARAM_VALUE | 0 | iommu->iommu.ops->page_response | 0,6092340583743537152,6863561957491752960,7827827559097483264 |
| PARAM_VALUE | 0 | iommu->iommu.ops->probe_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->probe_finalize | 0,4224741400359067648,6516402457225019392,8434375612550443008,8539622431235026944 |
| PARAM_VALUE | 0 | iommu->iommu.ops->release_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->release_domain | 0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808 |
| PARAM_VALUE | 0 | iommu->iommu.ops->viommu_init | 0,3877766920581869568,5010379558565462016 |
| PARAM_VALUE | 0 | iommu->irte_ops->activate | 765957658605199360,7596493937302646784 |
| PARAM_VALUE | 0 | iommu->irte_ops->clear_allocated | 4162858944769048576,6981360881082085376 |
| PARAM_VALUE | 0 | iommu->irte_ops->deactivate | 4005446521204465664,8637580016598749184 |
| PARAM_VALUE | 0 | iommu->irte_ops->get | 0 |
| PARAM_VALUE | 0 | iommu->irte_ops->is_allocated | 2587386044963737600,5990099993458462720 |
| PARAM_VALUE | 0 | iommu->irte_ops->prepare | 2717976059262840832,7158738662058942464 |
| PARAM_VALUE | 0 | iommu->irte_ops->set_affinity | 3877555456951496704,4834473603480862720 |
| PARAM_VALUE | 0 | iommu->irte_ops->set_allocated | 866410985015562240,1851182215227572224 |
| PARAM_VALUE | 0 | iommu->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iommu->lock.owner | (-1) |
| PARAM_VALUE | 0 | iommu->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iommu->need_sync | 0 |
| PARAM_VALUE | 0 | *iommu->dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *iommu->stored_l2 | 0-4294967295 |
| DATA_SOURCE | 0 | iommu | $0 |
| DATA_SOURCE | 1 | data | r get_cmdsem_val |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | iommu->acpi_flags | 0-255 |
| HOST_DATA | 0 | iommu->cap | 0-u32max |
| HOST_DATA | 0 | iommu->cap_ptr | 0-u16max |
| HOST_DATA | 0 | iommu->cmd_buf_head | 0-u32max |
| HOST_DATA | 0 | iommu->cmd_buf_tail | 0-8191 |
| HOST_DATA | 0 | iommu->cmd_sem_paddr | 0-u64max |
| HOST_DATA | 0 | iommu->cmd_sem_val | 0-u64max |
| HOST_DATA | 0 | iommu->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 0 | iommu->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 0 | iommu->dev->current_state | 0-3[c] |
| HOST_DATA | 0 | iommu->devid | 0-u16max |
| HOST_DATA | 0 | iommu->features | 0-u64max |
| HOST_DATA | 0 | iommu->features2 | 0-u64max |
| HOST_DATA | 0 | iommu->flags | 0-u32max |
| HOST_DATA | 0 | iommu->index | s32min-s32max |
| HOST_DATA | 0 | iommu->int_enabled | 0-1 |
| HOST_DATA | 0 | iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->irtcachedis_enabled | 0-1 |
| HOST_DATA | 0 | iommu->max_banks | 0-255 |
| HOST_DATA | 0 | iommu->max_counters | 0-255 |
| HOST_DATA | 0 | iommu->mmio_phys | 0-u64max |
| HOST_DATA | 0 | iommu->mmio_phys_end | 0-u64max |
| HOST_DATA | 0 | iommu->stored_addr_hi | 0-u32max |
| HOST_DATA | 0 | iommu->stored_addr_lo | 0-u32max |
| HOST_DATA | 0 | *iommu | s64min-s64max |
| HALF_LOCKED2 | &dev_data->dte_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &iommu_probe_device_lock | ||
| HALF_LOCKED2 | global &iommu_table_lock |
drivers/iommu/amd/iommu.c iommu_flush_irt_and_complete() -> wait_on_sem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->cmd_buf_tail | 0-8191 |
| PARAM_VALUE | 0 | iommu->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iommu->lock.owner | (-1) |
| PARAM_VALUE | 0 | iommu->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iommu->need_sync | 0 |
| PARAM_VALUE | 0 | iommu->pci_seg->rlookup_table | 4096-ptr_max |
| DATA_SOURCE | 0 | iommu | $0 |
| DATA_SOURCE | 1 | data | r get_cmdsem_val |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | iommu->acpi_flags | 0-255 |
| HOST_DATA | 0 | iommu->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | iommu->bridge->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | iommu->bridge->class | 0-16777215 |
| HOST_DATA | 0 | iommu->bridge->current_state | 0-3[c] |
| HOST_DATA | 0 | iommu->bridge->devcap | 0-4294967295 |
| HOST_DATA | 0 | iommu->bridge->devfn | 0-503[c] |
| HOST_DATA | 0 | iommu->bridge->device | 0-u16max |
| HOST_DATA | 0 | iommu->bridge->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | iommu->bridge->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | iommu->bridge->hdr_type | 0-255[c] |
| HOST_DATA | 0 | iommu->bridge->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | iommu->bridge->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | iommu->bridge->irq | 0-255 |
| HOST_DATA | 0 | iommu->bridge->is_cxl | 0-1 |
| HOST_DATA | 0 | iommu->bridge->multifunction | 0-1[c] |
| HOST_DATA | 0 | iommu->bridge->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | iommu->bridge->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | iommu->bridge->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | iommu->bridge->pin | 0 |
| HOST_DATA | 0 | iommu->bridge->pme_support | 0-31[c] |
| HOST_DATA | 0 | iommu->bridge->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | iommu->bridge->revision | 0-255 |
| HOST_DATA | 0 | iommu->bridge->subsystem_device | 0-u16max |
| HOST_DATA | 0 | iommu->bridge->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | iommu->bridge->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | iommu->bridge->transparent | 0[c] |
| HOST_DATA | 0 | iommu->bridge->vendor | 0-u16max |
| HOST_DATA | 0 | iommu->cap | 0-u32max |
| HOST_DATA | 0 | iommu->cap_ptr | 0-u16max |
| HOST_DATA | 0 | iommu->class | 0-16777215 |
| HOST_DATA | 0 | iommu->cmd_buf_head | 0-u32max |
| HOST_DATA | 0 | iommu->cmd_buf_tail | 0-8191 |
| HOST_DATA | 0 | iommu->cmd_sem_paddr | 0-u64max |
| HOST_DATA | 0 | iommu->cmd_sem_val | 0-u64max |
| HOST_DATA | 0 | iommu->current_state | 0-3[c] |
| HOST_DATA | 0 | iommu->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 0 | iommu->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 0 | iommu->devcap | 0-4294967295 |
| HOST_DATA | 0 | iommu->devfn | 0-503[c] |
| HOST_DATA | 0 | iommu->device | 0-u16max |
| HOST_DATA | 0 | iommu->devid | 0-u16max |
| HOST_DATA | 0 | iommu->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | iommu->features | 0-u64max |
| HOST_DATA | 0 | iommu->features2 | 0-u64max |
| HOST_DATA | 0 | iommu->flags | 0-u32max |
| HOST_DATA | 0 | iommu->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | iommu->hdr_type | 0-255[c] |
| HOST_DATA | 0 | iommu->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | iommu->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | iommu->index | s32min-s32max |
| HOST_DATA | 0 | iommu->int_enabled | 0-1 |
| HOST_DATA | 0 | iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->irq | 0-255 |
| HOST_DATA | 0 | iommu->irtcachedis_enabled | 0-1 |
| HOST_DATA | 0 | iommu->is_cxl | 0-1 |
| HOST_DATA | 0 | iommu->max_banks | 0-255 |
| HOST_DATA | 0 | iommu->max_counters | 0-255 |
| HOST_DATA | 0 | iommu->mmio_phys | 0-u64max |
| HOST_DATA | 0 | iommu->mmio_phys_end | 0-u64max |
| HOST_DATA | 0 | iommu->multifunction | 0-1[c] |
| HOST_DATA | 0 | iommu->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | iommu->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | iommu->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | iommu->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | iommu->pdev->class | 0-16777215 |
| HOST_DATA | 0 | iommu->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | iommu->pdev->devcap | 0-4294967295 |
| HOST_DATA | 0 | iommu->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | iommu->pdev->device | 0-u16max |
| HOST_DATA | 0 | iommu->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | iommu->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | iommu->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | iommu->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | iommu->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | iommu->pdev->irq | 0-255 |
| HOST_DATA | 0 | iommu->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | iommu->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | iommu->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | iommu->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | iommu->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | iommu->pdev->pin | 0 |
| HOST_DATA | 0 | iommu->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | iommu->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | iommu->pdev->revision | 0-255 |
| HOST_DATA | 0 | iommu->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | iommu->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | iommu->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | iommu->pdev->transparent | 0[c] |
| HOST_DATA | 0 | iommu->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | iommu->pin | 0 |
| HOST_DATA | 0 | iommu->pme_support | 0-31[c] |
| HOST_DATA | 0 | iommu->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | iommu->revision | 0-255 |
| HOST_DATA | 0 | iommu->rid | 0-u16max[c] |
| HOST_DATA | 0 | iommu->stored_addr_hi | 0-u32max |
| HOST_DATA | 0 | iommu->stored_addr_lo | 0-u32max |
| HOST_DATA | 0 | iommu->subsystem_device | 0-u16max |
| HOST_DATA | 0 | iommu->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | iommu->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | iommu->transparent | 0[c] |
| HOST_DATA | 0 | iommu->vendor | 0-u16max |
| HOST_DATA | 0 | *iommu | s64min-s64max |