Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/amd/init.c alloc_iommu_buffers() -> alloc_command_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->cmd_sem | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | iommu->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->ir_domain->msi_parent_ops->bus_select_token | 0,3,5,9,12-13 |
| DATA_SOURCE | 0 | iommu | $0 |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |