Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/amd/iommu.c alloc_irq_table() -> iommu_completion_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->cmd_buf_tail | 0-8191 |
| PARAM_VALUE | 0 | iommu->dev | 0,4096-ptr_max |
| 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 | 1 |
| PARAM_VALUE | 0 | iommu->pci_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->pci_seg->alias_table | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->pci_seg->dev_table | 1-u64max |
| PARAM_VALUE | 0 | iommu->pci_seg->irq_lookup_table | 4096-ptr_max |
| PARAM_VALUE | 0 | *iommu->pci_seg->irq_lookup_table | 1-u64max |
| DATA_SOURCE | 0 | iommu | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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 | 1 |
| HOST_DATA | 0 | iommu->stored_addr_hi | 0-u32max |
| HOST_DATA | 0 | iommu->stored_addr_lo | 0-u32max |
| HOST_DATA | 0 | *iommu | s64min-s64max |
| LOCK2 | flags | ||
| LOCK2 | global &iommu_table_lock | ||
| HALF_LOCKED2 | &domain->root->mutex |
drivers/iommu/amd/iommu.c amd_iommu_dev_flush_pasid_pages() -> iommu_completion_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | iommu | r get_amd_iommu_from_dev |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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-1 |
| 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 | &sva_pdom->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &srcu |
drivers/iommu/amd/iommu.c amd_iommu_flush_all() -> iommu_completion_wait()
| 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,4096-ptr_max |
| 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->dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *iommu->iopfq_name | 0-255 |
| PARAM_VALUE | 0 | *iommu->stored_l2 | 0-4294967295 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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-1 |
| 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 | flags | ||
| HALF_LOCKED2 | irq |
drivers/iommu/amd/iommu.c amd_iommu_flush_dte_all() -> iommu_completion_wait()
| 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,4096-ptr_max |
| 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->pci_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | *iommu->dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *iommu->iopfq_name | 0-255 |
| PARAM_VALUE | 0 | *iommu->stored_l2 | 0-4294967295 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->lock.magic | 0-u32max |
| HOST_DATA | 0 | iommu->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | iommu->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | iommu->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | iommu->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | iommu->lock.raw_lock.val.counter | 0-s32max |
| 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-1 |
| 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 | flags | ||
| HALF_LOCKED2 | irq |
drivers/iommu/amd/iommu.c amd_iommu_flush_irt_all() -> iommu_completion_wait()
| 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,4096-ptr_max |
| 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->irtcachedis_enabled | 0 |
| 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->pci_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | *iommu->dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *iommu->iopfq_name | 0-255 |
| PARAM_VALUE | 0 | *iommu->stored_l2 | 0-4294967295 |
| CAPPED_DATA | 0 | iommu->pci_seg->last_bdf | 1 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| HOST_DATA | 0 | iommu->lock.magic | 0-u32max |
| HOST_DATA | 0 | iommu->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | iommu->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | iommu->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | iommu->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | iommu->lock.raw_lock.val.counter | 0-s32max |
| 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-1 |
| 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 | flags | ||
| HALF_LOCKED2 | irq |
drivers/iommu/amd/iommu.c amd_iommu_flush_tlb_all() -> iommu_completion_wait()
| 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,4096-ptr_max |
| 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->pci_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | *iommu->dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *iommu->iopfq_name | 0-255 |
| PARAM_VALUE | 0 | *iommu->stored_l2 | 0-4294967295 |
| CAPPED_DATA | 0 | iommu->pci_seg->last_bdf | 1 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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-1 |
| 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 | flags | ||
| HALF_LOCKED2 | irq |
drivers/iommu/amd/iommu.c amd_iommu_flush_tlb_domid() -> iommu_completion_wait()
| 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->pci_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->pci_seg->dev_table | 1-u64max |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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-1 |
| 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->mutex | ||
| HALF_LOCKED2 | domain_lock | ||
| HALF_LOCKED2 | flags |
drivers/iommu/amd/iommu.c amd_iommu_probe_device() -> iommu_completion_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops | 1-u64max |
| DATA_SOURCE | 0 | iommu | r rlookup_amd_iommu |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &iommu_probe_device_lock |
drivers/iommu/amd/iommu.c amd_iommu_update_dte() -> iommu_completion_wait()
| 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->pci_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->pci_seg->dev_table | 1-u64max |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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->lock.magic | 0-u32max |
| HOST_DATA | 0 | iommu->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | iommu->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | iommu->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | iommu->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | iommu->lock.raw_lock.val.counter | 0-s32max |
| 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-1 |
| 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->mutex |
drivers/iommu/amd/iommu.c domain_flush_complete() -> iommu_completion_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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 | 1 |
| HOST_DATA | 0 | iommu->stored_addr_hi | 0-u32max |
| HOST_DATA | 0 | iommu->stored_addr_lo | 0-u32max |
| HOST_DATA | 0 | *iommu | s64min-s64max |
| LOCK2 | flags | ||
| HALF_LOCKED2 | &domain->lock | ||
| HALF_LOCKED2 | domain_lock |
drivers/iommu/amd/iommu.c iommu_flush_dte_sync() -> iommu_completion_wait()
| 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 | 1 |
| PARAM_VALUE | 0 | iommu->pci_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->pci_seg->dev_table | 1-u64max |
| DATA_SOURCE | 0 | iommu | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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->lock.magic | 0-u32max |
| HOST_DATA | 0 | iommu->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | iommu->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | iommu->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | iommu->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | iommu->lock.raw_lock.val.counter | 0-s32max |
| 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 |
| LOCK2 | &dev_data->dte_lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct iommu_dev_data)->dte_lock |