Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/amd/iommu.c __amd_iommu_complete_ppr() -> iommu_queue_command()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 cmd 479281762476859392
DATA_SOURCE 0 iommu r get_amd_iommu_from_dev
MEM_ZERO 1 cmd
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/amd/iommu.c amd_iommu_dev_flush_pasid_pages() -> iommu_queue_command()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 cmd 7672214306790748160
DATA_SOURCE 0 iommu r get_amd_iommu_from_dev
MEM_ZERO 1 cmd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sva_pdom->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &srcu

drivers/iommu/amd/iommu.c amd_iommu_flush_all() -> iommu_queue_command()

Type Parameter Key Value
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->dev->saved_config_space 0-4294967295
PARAM_VALUE 0 *iommu->iopfq_name 0-255
PARAM_VALUE 0 *iommu->stored_l2 0-4294967295
PARAM_VALUE 1 cmd 6835910030576123904
DATA_SOURCE 0 iommu $0
MEM_ZERO 1 cmd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 iommu->dev->current_state 0-3[c]
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/iommu/amd/iommu.c amd_iommu_flush_tlb_all() -> iommu_queue_command()

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
PARAM_VALUE 1 cmd 6671758019121582080
CAPPED_DATA 0 iommu->pci_seg->last_bdf 1
DATA_SOURCE 0 iommu $0
MEM_ZERO 1 cmd
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_queue_command()

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
PARAM_VALUE 1 cmd 2109483435980570624
DATA_SOURCE 0 iommu $0
MEM_ZERO 1 cmd
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
HALF_LOCKED2 &dev_data->mutex
HALF_LOCKED2 domain_lock
HALF_LOCKED2 flags

drivers/iommu/amd/iommu.c device_flush_iotlb() -> iommu_queue_command()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 cmd 4817483580044591104
DATA_SOURCE 0 iommu r get_amd_iommu_from_dev_data
MEM_ZERO 1 cmd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &domain->lock
HALF_LOCKED2 flags

drivers/iommu/amd/iommu.c domain_flush_pages_v1() -> iommu_queue_command()

Type Parameter Key Value
PARAM_VALUE 1 cmd 7522633359252709376
MEM_ZERO 1 cmd
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->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
LOCK2 &pdom->lock
LOCK2 flags
HALF_LOCKED2 &dom->lock
TYPE_LOCK (struct protection_domain)->lock

drivers/iommu/amd/iommu.c domain_flush_pages_v2() -> iommu_queue_command()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 cmd 9075906547313348608
DATA_SOURCE 0 iommu r get_amd_iommu_from_dev
MEM_ZERO 1 cmd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &pdom->lock
LOCK2 flags
HALF_LOCKED2 &dom->lock
TYPE_LOCK (struct protection_domain)->lock

drivers/iommu/amd/iommu.c iommu_flush_dte() -> iommu_queue_command()

Type Parameter Key Value
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->dev->saved_config_space 0-4294967295
PARAM_VALUE 0 *iommu->stored_l2 0-4294967295
PARAM_VALUE 1 cmd 7218616823136608256
DATA_SOURCE 0 iommu $0
MEM_ZERO 1 cmd
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->lock.magic 0-u32max
HOST_DATA 0 iommu->lock.owner_cpu 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 s32min-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
UNITS 0 iommu unit_byte
HALF_LOCKED2 &dev_data->dte_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &iommu_table_lock

drivers/iommu/amd/iommu.c iommu_flush_irt() -> iommu_queue_command()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->iommu.dev->iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 iommu->iommu.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 iommu->iommu.dev->parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 iommu->iommu.dev->parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 iommu->iommu.dev->parent->kobj.release.wq->saved_min_active s32min-s32max
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->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
PARAM_VALUE 1 cmd 5741666763467583488
CAPPED_DATA 0 iommu->pci_seg->last_bdf 1
DATA_SOURCE 0 iommu $0
MEM_ZERO 1 cmd
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
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/iommu/amd/iommu.c iommu_flush_pages_v1_hdom_ids() -> iommu_queue_command()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 cmd 6748354962702938112
MEM_ZERO 1 cmd
PREEMPT_ADD <- disables preempt
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->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
LOCK2 &(&aviommu->gdomid_array)->xa_lock
LOCK2 &pdom->lock
LOCK2 flags
HALF_LOCKED2 &dom->lock
TYPE_LOCK (struct protection_domain)->lock