Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/iommu/intel/nested.c intel_nested_set_dev_pasid() -> domain_remove_dev_pasid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->set_dev_pasid | 0,1191539796096278528,2449680511270084608,2937103414544289792,6236364466895036416,7122971417634123776 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | *dev->iommu->fault_param->queue->wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 2 | pasid | 0-4294967294 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| CAPPED_DATA | 1 | dev | 1 |
| CAPPED_DATA | 2 | pasid | 1 |
| DATA_SOURCE | 0 | domain | $3 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | pasid | $2 |
| NOSPEC | 2 | pasid | |
| NOSPEC | 2 | pasid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | dev->acpi_flags | 0-255 |
| HOST_DATA | 1 | dev->cap | 0-4294967295 |
| HOST_DATA | 1 | dev->cap_ptr | 0-u16max |
| HOST_DATA | 1 | dev->cmd_buf_head | 0-4294967295 |
| HOST_DATA | 1 | dev->cmd_buf_tail | 0-4294967295 |
| HOST_DATA | 1 | dev->cmd_sem_paddr | s64min-s64max |
| HOST_DATA | 1 | dev->cmd_sem_val | s64min-s64max |
| HOST_DATA | 1 | dev->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 1 | dev->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 1 | dev->devid | 0-u16max |
| HOST_DATA | 1 | dev->features | s64min-s64max |
| HOST_DATA | 1 | dev->features2 | s64min-s64max |
| HOST_DATA | 1 | dev->flags | 0-u32max |
| HOST_DATA | 1 | dev->index | s32min-s32max |
| HOST_DATA | 1 | dev->int_enabled | 0-1 |
| HOST_DATA | 1 | dev->iommu.max_pasids | 0-u32max |
| HOST_DATA | 1 | dev->iommu.ready | 0-1 |
| HOST_DATA | 1 | dev->irtcachedis_enabled | 0-1 |
| HOST_DATA | 1 | dev->lock.magic | 0-4294967295 |
| HOST_DATA | 1 | dev->lock.owner_cpu | 0-4294967295 |
| HOST_DATA | 1 | dev->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 1 | dev->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 1 | dev->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 1 | dev->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 1 | dev->lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 1 | dev->max_banks | 0-255 |
| HOST_DATA | 1 | dev->max_counters | 0-255 |
| HOST_DATA | 1 | dev->mmio_phys | s64min-s64max |
| HOST_DATA | 1 | dev->mmio_phys_end | s64min-s64max |
| HOST_DATA | 1 | dev->need_sync | 0-1 |
| HOST_DATA | 1 | dev->stored_addr_hi | 0-4294967295 |
| HOST_DATA | 1 | dev->stored_addr_lo | 0-4294967295 |
| HOST_DATA | 1 | *dev | s64min-s64max |
| USER_DATA | 2 | pasid | 1-4294967294[c] |
| HALF_LOCKED2 | &group->mutex | ||
| HALF_LOCKED2 | &igroup->lock | ||
| HALF_LOCKED2 | _T->lock |
drivers/iommu/intel/nested.c intel_nested_set_dev_pasid() -> domain_remove_dev_pasid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->set_dev_pasid | 0,1191539796096278528,2449680511270084608,2937103414544289792,6236364466895036416,7122971417634123776 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | *dev->iommu->fault_param->queue->wq->lockdep_map->name | 0-255 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| CAPPED_DATA | 0 | domain | 1 |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | pasid | $2 |
| NOSPEC | 2 | pasid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | dev->acpi_flags | 0-255 |
| HOST_DATA | 1 | dev->cap | 0-4294967295 |
| HOST_DATA | 1 | dev->cap_ptr | 0-u16max |
| HOST_DATA | 1 | dev->cmd_buf_head | 0-4294967295 |
| HOST_DATA | 1 | dev->cmd_buf_tail | 0-4294967295 |
| HOST_DATA | 1 | dev->cmd_sem_paddr | s64min-s64max |
| HOST_DATA | 1 | dev->cmd_sem_val | s64min-s64max |
| HOST_DATA | 1 | dev->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 1 | dev->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 1 | dev->devid | 0-u16max |
| HOST_DATA | 1 | dev->features | s64min-s64max |
| HOST_DATA | 1 | dev->features2 | s64min-s64max |
| HOST_DATA | 1 | dev->flags | 0-u32max |
| HOST_DATA | 1 | dev->index | s32min-s32max |
| HOST_DATA | 1 | dev->int_enabled | 0-1 |
| HOST_DATA | 1 | dev->iommu.max_pasids | 0-u32max |
| HOST_DATA | 1 | dev->iommu.ready | 0-1 |
| HOST_DATA | 1 | dev->irtcachedis_enabled | 0-1 |
| HOST_DATA | 1 | dev->lock.magic | 0-4294967295 |
| HOST_DATA | 1 | dev->lock.owner_cpu | 0-4294967295 |
| HOST_DATA | 1 | dev->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 1 | dev->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 1 | dev->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 1 | dev->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 1 | dev->lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 1 | dev->max_banks | 0-255 |
| HOST_DATA | 1 | dev->max_counters | 0-255 |
| HOST_DATA | 1 | dev->mmio_phys | s64min-s64max |
| HOST_DATA | 1 | dev->mmio_phys_end | s64min-s64max |
| HOST_DATA | 1 | dev->need_sync | 0-1 |
| HOST_DATA | 1 | dev->stored_addr_hi | 0-4294967295 |
| HOST_DATA | 1 | dev->stored_addr_lo | 0-4294967295 |
| HOST_DATA | 1 | *dev | s64min-s64max |
| USER_DATA | 2 | pasid | 1-u32max |
| HALF_LOCKED2 | &group->mutex | ||
| HALF_LOCKED2 | &igroup->lock | ||
| HALF_LOCKED2 | _T->lock |
drivers/iommu/intel/iommu.c blocking_domain_set_dev_pasid() -> domain_remove_dev_pasid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu | 0,4096-ptr_max |
| DATA_SOURCE | 0 | domain | $3 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | pasid | $2 |
| NOCHECK_CALL |
drivers/iommu/intel/iommu.c identity_domain_set_dev_pasid() -> domain_remove_dev_pasid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | *dev->iommu->fault_param->queue->wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 2 | pasid | 0-4294967294 |
| CAPPED_DATA | 2 | pasid | 1 |
| DATA_SOURCE | 0 | domain | $3 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | pasid | $2 |
| NOCHECK_CALL |
drivers/iommu/intel/iommu.c intel_iommu_set_dev_pasid() -> domain_remove_dev_pasid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->set_dev_pasid | 0,1191539796096278528,2449680511270084608,2937103414544289792,6236364466895036416,7122971417634123776 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu | 0,4096-ptr_max |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 0 | domain | $3 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | pasid | $2 |
| NOSPEC | 2 | pasid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | dev->acpi_flags | 0-255 |
| HOST_DATA | 1 | dev->cap | 0-4294967295 |
| HOST_DATA | 1 | dev->cap_ptr | 0-u16max |
| HOST_DATA | 1 | dev->cmd_buf_head | 0-4294967295 |
| HOST_DATA | 1 | dev->cmd_buf_tail | 0-4294967295 |
| HOST_DATA | 1 | dev->cmd_sem_paddr | s64min-s64max |
| HOST_DATA | 1 | dev->cmd_sem_val | s64min-s64max |
| HOST_DATA | 1 | dev->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 1 | dev->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 1 | dev->devid | 0-u16max |
| HOST_DATA | 1 | dev->features | s64min-s64max |
| HOST_DATA | 1 | dev->features2 | s64min-s64max |
| HOST_DATA | 1 | dev->flags | 0-u32max |
| HOST_DATA | 1 | dev->index | s32min-s32max |
| HOST_DATA | 1 | dev->int_enabled | 0-1 |
| HOST_DATA | 1 | dev->iommu.max_pasids | 0-u32max |
| HOST_DATA | 1 | dev->iommu.ready | 0-1 |
| HOST_DATA | 1 | dev->irtcachedis_enabled | 0-1 |
| HOST_DATA | 1 | dev->lock.magic | 0-4294967295 |
| HOST_DATA | 1 | dev->lock.owner_cpu | 0-4294967295 |
| HOST_DATA | 1 | dev->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 1 | dev->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 1 | dev->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 1 | dev->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 1 | dev->lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 1 | dev->max_banks | 0-255 |
| HOST_DATA | 1 | dev->max_counters | 0-255 |
| HOST_DATA | 1 | dev->mmio_phys | s64min-s64max |
| HOST_DATA | 1 | dev->mmio_phys_end | s64min-s64max |
| HOST_DATA | 1 | dev->need_sync | 0-1 |
| HOST_DATA | 1 | dev->stored_addr_hi | 0-4294967295 |
| HOST_DATA | 1 | dev->stored_addr_lo | 0-4294967295 |
| HOST_DATA | 1 | *dev | s64min-s64max |
| USER_DATA | 2 | pasid | 1-u32max |
| HALF_LOCKED2 | &group->mutex | ||
| HALF_LOCKED2 | &igroup->lock | ||
| HALF_LOCKED2 | _T->lock |
drivers/iommu/intel/iommu.c intel_iommu_set_dev_pasid() -> domain_remove_dev_pasid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->set_dev_pasid | 0,1191539796096278528,2449680511270084608,2937103414544289792,6236364466895036416,7122971417634123776 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu | 0,4096-ptr_max |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| CAPPED_DATA | 0 | domain | 1 |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | pasid | $2 |
| BIT_INFO | 0 | domain->type | 0x1,0xffffffffffffffff |
| NOSPEC | 2 | pasid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | dev->acpi_flags | 0-255 |
| HOST_DATA | 1 | dev->cap | 0-4294967295 |
| HOST_DATA | 1 | dev->cap_ptr | 0-u16max |
| HOST_DATA | 1 | dev->cmd_buf_head | 0-4294967295 |
| HOST_DATA | 1 | dev->cmd_buf_tail | 0-4294967295 |
| HOST_DATA | 1 | dev->cmd_sem_paddr | s64min-s64max |
| HOST_DATA | 1 | dev->cmd_sem_val | s64min-s64max |
| HOST_DATA | 1 | dev->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 1 | dev->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 1 | dev->devid | 0-u16max |
| HOST_DATA | 1 | dev->features | s64min-s64max |
| HOST_DATA | 1 | dev->features2 | s64min-s64max |
| HOST_DATA | 1 | dev->flags | 0-u32max |
| HOST_DATA | 1 | dev->index | s32min-s32max |
| HOST_DATA | 1 | dev->int_enabled | 0-1 |
| HOST_DATA | 1 | dev->iommu.max_pasids | 0-u32max |
| HOST_DATA | 1 | dev->iommu.ready | 0-1 |
| HOST_DATA | 1 | dev->irtcachedis_enabled | 0-1 |
| HOST_DATA | 1 | dev->lock.magic | 0-4294967295 |
| HOST_DATA | 1 | dev->lock.owner_cpu | 0-4294967295 |
| HOST_DATA | 1 | dev->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 1 | dev->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 1 | dev->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 1 | dev->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 1 | dev->lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 1 | dev->max_banks | 0-255 |
| HOST_DATA | 1 | dev->max_counters | 0-255 |
| HOST_DATA | 1 | dev->mmio_phys | s64min-s64max |
| HOST_DATA | 1 | dev->mmio_phys_end | s64min-s64max |
| HOST_DATA | 1 | dev->need_sync | 0-1 |
| HOST_DATA | 1 | dev->stored_addr_hi | 0-4294967295 |
| HOST_DATA | 1 | dev->stored_addr_lo | 0-4294967295 |
| HOST_DATA | 1 | *dev | s64min-s64max |
| USER_DATA | 2 | pasid | 1-u32max |
| HALF_LOCKED2 | &group->mutex | ||
| HALF_LOCKED2 | &igroup->lock | ||
| HALF_LOCKED2 | _T->lock |
drivers/iommu/intel/svm.c intel_svm_set_dev_pasid() -> domain_remove_dev_pasid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->set_dev_pasid | 0,1191539796096278528,2449680511270084608,2937103414544289792,6236364466895036416,7122971417634123776 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu->priv->ats_enabled | 1 |
| PARAM_VALUE | 1 | dev->iommu->priv->pasid_enabled | 1 |
| PARAM_VALUE | 1 | dev->iommu->priv->pri_supported | 0-1 |
| PARAM_VALUE | 1 | *dev->iommu->fault_param->queue->wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 2 | pasid | 0-4294967294 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| CAPPED_DATA | 1 | dev | 1 |
| CAPPED_DATA | 2 | pasid | 1 |
| DATA_SOURCE | 0 | domain | $3 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | pasid | $2 |
| NOSPEC | 2 | pasid | |
| NOSPEC | 2 | pasid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | pasid | 1-4294967294[c] |
| HALF_LOCKED2 | &group->mutex | ||
| HALF_LOCKED2 | &igroup->lock | ||
| HALF_LOCKED2 | _T->lock |
drivers/iommu/intel/svm.c intel_svm_set_dev_pasid() -> domain_remove_dev_pasid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->set_dev_pasid | 0,1191539796096278528,2449680511270084608,2937103414544289792,6236364466895036416,7122971417634123776 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.done | 0-4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->first_flusher->done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->flusher_queue.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->fault_param->queue->wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | dev->iommu->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->iommu->priv->ats_enabled | 1 |
| PARAM_VALUE | 1 | dev->iommu->priv->pasid_enabled | 1 |
| PARAM_VALUE | 1 | dev->iommu->priv->pri_supported | 0-1 |
| PARAM_VALUE | 1 | *dev->iommu->fault_param->queue->wq->lockdep_map->name | 0-255 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| CAPPED_DATA | 0 | domain | 1 |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | pasid | $2 |
| NOSPEC | 2 | pasid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | pasid | 1-u32max |
| HALF_LOCKED2 | &group->mutex | ||
| HALF_LOCKED2 | &igroup->lock | ||
| HALF_LOCKED2 | _T->lock |