Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/iommu/amd/iommu.c amd_iommu_set_dirty_tracking() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| DATA_SOURCE | 0 | iommu | r get_amd_iommu_from_dev_data |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &dev_data->dte_lock | ||
| LOCK2 | &iopt->iova_rwsem | ||
| LOCK2 | &pdomain->lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct io_pagetable)->iova_rwsem | ||
| TYPE_LOCK | (struct iommu_dev_data)->dte_lock | ||
| TYPE_LOCK | (struct protection_domain)->lock |
drivers/iommu/amd/iommu.c get_dte256() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 1-u64max |
| DATA_SOURCE | 0 | iommu | $0 |
| STR_LEN | 0 | iommu | (-1),2-3 |
| STR_LEN | 0 | iommu | (-1),2-3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/amd/iommu.c iommu_ignore_device() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops | 1-u64max |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &iommu_probe_device_lock |
drivers/iommu/amd/iommu.c set_dte_entry() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev_data->mutex | ||
| HALF_LOCKED2 | domain_lock | ||
| HALF_LOCKED2 | flags |
drivers/iommu/amd/iommu.c set_dte_irq_entry() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->pci_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->pci_seg->irq_lookup_table | 4096-ptr_max |
| 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-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 |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &iommu_table_lock |
drivers/iommu/amd/iommu.c update_dte256() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/amd/debugfs.c dump_dte() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &m->lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/iommu/amd/debugfs.c dump_irte() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &m->lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/iommu/amd/init.c iommu_set_device_table() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| 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->pci_seg | 4096-ptr_max |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/iommu/amd/init.c set_dev_entry_from_acpi_range() -> get_dev_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->cmd_sem_val | 0 |
| PARAM_VALUE | 0 | iommu->index | s32min-31 |
| PARAM_VALUE | 0 | iommu->list.next | 2819409938894733312 |
| PARAM_VALUE | 0 | iommu->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->lock.magic | 3735899821 |
| PARAM_VALUE | 0 | iommu->lock.owner | (-1) |
| PARAM_VALUE | 0 | iommu->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | iommu->mmio_phys_end | 16384,524288 |
| PARAM_VALUE | 0 | iommu->pci_seg | 4096-ptr_max |
| BUF_SIZE | 0 | iommu->pci_seg | (-1),88 |
| DATA_SOURCE | 0 | iommu | $0 |
| FUZZY_MAX | 0 | iommu->mmio_phys_end | 524288 |
| BIT_INFO | 0 | iommu->mmio_phys_end | 0x0,0x84000 |
| HARD_MAX | 0 | iommu->mmio_phys_end | 524288 |
| NO_OVERFLOW_SIMPLE | 0 | iommu->mmio_phys_end | |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |